Express these system specifications using the propositions

Problem 7E Chapter 1.2

Discrete Mathematics and Its Applications | 7th Edition

• 2901 Step-by-step solutions solved by professors and subject experts
• Get 24/7 help from StudySoup virtual teaching assistants

Discrete Mathematics and Its Applications | 7th Edition

4 5 0 254 Reviews
23
5
Problem 7E

Express these system specifications using the propositions p “The message is scanned for viruses” and q “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 whenever it was sent from an unknown system.”

d)     “When a message is not sent from an unknown system it is not scanned for viruses.”

Step-by-Step Solution:

Step 1:

We have to Express the given system specifications using the propositions p “The message is scanned for viruses” and q “The message was sent from an unknown system” together with logical connectives (including negations).

Step 2:

a)“The message is scanned for viruses whenever the message was sent from an unknown system.”

That is if q then p

Step 3:

b)    “The message was sent from an unknown system but it was not scanned for viruses.”

That q but not p

Step 4 of 5

Step 5 of 5

Related chapters

Unlock Textbook Solution

Enter your email below to unlock your verified solution to:

Express these system specifications using the propositions

×
Log in to StudySoup
Get Full Access to Discrete Mathematics And Its Applications - 7th Edition - Chapter 1.2 - Problem 7e

Forgot password? Reset password here

Join StudySoup for FREE
Get Full Access to Discrete Mathematics And Its Applications - 7th Edition - Chapter 1.2 - Problem 7e
Already have an account? Login here
Reset your password

I don't want to reset my password

Need help? Contact support

Need an Account? Is not associated with an account
We're here to help

Having trouble accessing your account? Let us help you, contact support at +1(510) 944-1054 or support@studysoup.com

Password Reset Request Sent An email has been sent to the email address associated to your account. Follow the link in the email to reset your password. If you're having trouble finding our email please check your spam folder
Already have an Account? Is already in use
Incorrect Password The password used to log in with this account is incorrect

Forgot password? Reset it here