44. Express each of these system specifications using predicates, quantifiers, and logical connectives. a) Every user has access to an electronic mailbox. b) The system mailbox can be accessed by everyone in the group if the file system is locked. c) The firewall is in a diagnostic state only if the proxy server is in a diagnostic state. d) At least one router is functioning normally if the throughput is between 100 kbps and 500 kbps and the proxy server is not in diagnostic mode.

a. ∀x (User(x) → (∃y (Mailbox(y) ∧ Access(x, y

b. FileSystemLocked → ∀x Access(x, SystemMailbox)

c. ∀x ∀y ((Firewall(x) ∧ Diagnostic(x)) → (ProxyServer(y) → Diagnostic(y))

d. ∀x (ThroughputNormal ∧(ProxyServer(x)∧ ¬Diagnostic(x))) → (∃y Router(y)∧Functioning(y))

Step-by-step explanation:

a)  

Let the domain be users and mailboxes. Let User(x) be “x is a user”, let Mailbox(y) be “y is a mailbox”, and let Access(x, y) be “x has access to y”.  

∀x (User(x) → (∃y (Mailbox(y) ∧ Access(x, y  

(b)

Let the domain be people in the group. Let Access(x, y) be “x has access to y”. Let FileSystemLocked be the proposition “the file system is locked.” Let System Mailbox be the constant that is the system mailbox.  

FileSystemLocked → ∀x Access(x, SystemMailbox)  

(c)  

Let the domain be all applications. Let Firewall(x) be “x is the firewall”, and let ProxyServer(x) be “x is the proxy server.” Let Diagnostic(x) be “x is in a diagnostic state”.  

∀x ∀y ((Firewall(x) ∧ Diagnostic(x)) → (ProxyServer(y) → Diagnostic(y))  

(d)

Let the domain be all applications and routers. Let Router(x) be “x is a router”, and let ProxyServer(x) be “x is the proxy server.” Let Diagnostic(x) be “x is in a diagnostic state”. Let ThroughputNormal be “the throughput is between 100kbps and 500 kbps”. Let Functioning(y) be “y is functioning normally”.  

∀x (ThroughputNormal ∧(ProxyServer(x)∧ ¬Diagnostic(x))) → (∃y Router(y)∧Functioning(y))

make sure you have version 2.50

try looking in the very back of the book : )

step-by-step explanation:

you can download it here

explanation:

step-by-step explanation: