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 53: 7

Answer

a) Someone from your school has visited North Dakota. b) Everyone from your school has visited North Dakota. c) No one from your school has visited north Dakota. d) Someone from your school has not visited North Dakota. e) Not everyone from your school has visited North Dakota. f) No one from your school has visited north Dakota.

Work Step by Step

In predicate logic, $\forall$ means that the predicate applies to everyone in the domain, $\exists$ means that the predicate applies to at least one person in the domain, and $\neg$ means to negate what follows. Keeping this in mind, we formulate each of the sentences based upon the given formulas and the order in which the symbols appear.
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.