Discrete Mathematics and Its Applications, Seventh Edition

Published by McGraw-Hill Education
ISBN 10: 0073383090
ISBN 13: 978-0-07338-309-5

Chapter 1 - Section 1.4 - Predicates and Quantifiers - Exercises - Page 55: 34

Answer

a) All drivers obey the speed limit. b) There is a Swedish movie that is not serious. c) Somebody can keep a secret. d) Everybody in this class has a good attitude.

Work Step by Step

a) Let the domain be drivers and P(x) mean " x obeys the speed limit ". We can rewrite the given statement as : $$\exists x \neg P(x)$$ The negation is then by De Morgan's Law for Quantifiers and double negation law: $$\neg (\exists x \neg P(x)) \equiv \forall x \neg(\neg P(x)) \equiv \forall x P(x)$$ This means : All drivers obey the speed limits. b) Let the domain be Swedish movies and Q(x) means " x is serious".We can rewrite the given statement as : $$\forall x Q(x)$$ The negation is then by De Morgan's Law for Quantifiers: $$\neg (\forall x Q(x)) \equiv \exists x \neg Q(x)$$ This means : There is a Swedish movie that is not serious. c)Let the domain be people and R(x) be " x can keep a secret ". We can rewrite the given statement as : $$\neg (\exists x R(x))$$ The negation is then by De Morgan's Law for Quantifiers and double negation law: $$\neg (\neg (\exists x R(x))) \equiv (\exists x R(x))$$ This means : Somebody can keep a secret. d)Let the domain be people in this class and S(x) means " x has a good attitude ". We can rewrite the given statement as : $$\exists x \neg S(x)$$ The negation is then by De Morgan's Law for Quantifiers and double negation law: $$\neg (\exists x \neg S(x)) \equiv \forall x \neg(\neg S(x)) \equiv \forall x S(x)$$ This means : Everybody in this class has a good attitude.
Update this answer!

You can help us out by revising, improving and updating this answer.

Update this answer

After you claim an answer you’ll have 24 hours to send in a draft. An editor will review the submission and either publish your submission or provide feedback.