Answer to Question #162830 in Discrete Mathematics for mirzamoosa

Question #162830

Express each of the statements using quantifiers. Then form the negation of the statement, so that no negation is to the left of a quantifier. Next, express the negation in simple English. (Do not simply use the words “It is not the case that”). 

Some dogs can learn new tricks.   

No rabbit knows calculus.   

Every bird can fly.

There is no dog that can talk.

There is no one in this tutorial who knows Irish and Russian


1
Expert's answer
2021-02-24T07:15:35-0500

1. Origin Statement: "Some dogs can learn new tricks."

In symbols: "\\exist x\\in Dogs\\, \\, Can(x,LearnTricks)"

Negation: "\\forall x\\in Dogs\\, \\, \\neg Can(x,LearnTricks)"

in English: "No dog can learn new tricks."


2. Origin Statement: "No rabbit knows calculus."

In symbols: "\\forall x\\in Rabbits\\, \\neg Knows(x,Calculus)"

Negation: "\\exist x\\in Rabbits\\, Knows(x,Calculus)"

in English: "Some rabbits know calculus."


3. Origin Statement: "Every bird can fly."

In symbols: "\\forall x\\in Birds\\,\\, Can(x,Fly)"

Negation: "\\exist x\\in Birds\\, \\neg Can(x,Fly)"

in English: "Some birds can not fly."


4. Origin Statement: "There is no dog that can talk."

In symbols: "\\neg(\\exist x\\in Dogs\\, Can(x,Talk))" or "\\forall x\\in Dogs\\, \\neg Can(x,Talk)"

Negation: "\\exist x\\in Dogs\\, Can(x,Talk)"

in English: "There exists dog that can talk."


5. Origin Statement: "There is no one in this tutorial who knows Irish and Russian."

In symbols: "\\neg(\\exist x\\in Tutorial\\, Knows(x,Irish)\\wedge Knows(x,Russian))" or "\\forall x\\in Tutorial\\, \\neg Knows(x,Irish)\\vee \\neg Knows(x,Russian)"

Negation: "\\exist x\\in Tutorial\\, Knows(x,Irish)\\wedge Knows(x,Russian)"

in English: "Someone in this tutorial knows Irish and Russian."


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