Chapter 1.4, Problem 43E

Exercises 40-44 deal the translation between system specification and logical expressions involving quantifiers.

43. Express each of these system specifications using predicates, quantifiers, and logical connectives.

a) At least one mal message, among the nonempty set of messages, can be saved if there is a disk with more than 10 kilobytes of free space.

b) Whenever there is an active alert, all queued messages are transmitted.

c) The diagnostic monitor tracks the status of all systems except the main console.

d) Each participant on the conference call whom the host of the call did not put on a special list was billed.