Discrete Mathematics with Applications 4th Edition

Published by Cengage Learning
ISBN 10: 0-49539-132-8
ISBN 13: 978-0-49539-132-6

Chapter 3 - The Logic of Quantified Statements - Exercise Set 3.3 - Page 129: 14

Answer

Statement: There is a book that all people have read. Negation: There is no book that all people have read. (Or: ∀ books b, ∃ a person p such that p has not read b.)

Work Step by Step

Recall the negation of a multiply-quantified statement: ~($\exists x$ in D such that $\forall y$ in E, P(x,y)) $\equiv$ $\forall x$ in D, $\exists y$ in E such that ~P(x,y)
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.