Answer to Question #315314 in Discrete Mathematics for Sheeren

Question #315314

7. Express these system specifications using the proposi tions p "The message is scanned for viruses" and "The message was sent from an unknown system together with logical connectives (including negations).




a) "The message is scanned for viruses whenever the message was sent from an unknown system." b) "The message was sent from an unknown system but




it was not scanned for viruses. c) "It is necessary to scan the message for viruses when ever it was sent from an unknown system.




d) "When a message is not sent from an unknown system




it is not scanned for viruses.





1
Expert's answer
2022-03-21T13:49:19-0400

q - "The message was sent from an unknown system"

a) "q\\implies p"

b) "q \\land \\neg p"

c) "q\\implies p"

d) "\\neg q\\implies \\neg p"


Need a fast expert's response?

Submit order

and get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

Comments

No comments. Be the first!

Leave a comment

LATEST TUTORIALS
New on Blog
APPROVED BY CLIENTS