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.1 - Page 107: 18

Answer

a. $\exists s \in D$ such that $E(s) \land M(s).$ b. $\forall s \in D$, if C(s), then E(s). c. $\forall s \in D$, if C(s), then not E(s). (Or: $\forall s \in D$, C(s) $\rightarrow$ ~E(s), where ~ is not). d. $\exists s \in D$ such that $C(s) \land M(s)$. e. ($\exists s \in D$ such that $C(s) \land E(s)$) $\land$ ($\exists s \in D$ such that $C(s) \land$ ~$E(s)$)

Work Step by Step

Recall the definition of a universal statement: Let Q(x) be a predicate and D the domain of x. A universal statement is a statement of the form "$\forall x \in D, Q(x)$." It is defined to be true if, and only if, Q(x) is true for every x in D. Recall the definition of an existential statement: Let Q(x) be a predicate and D the domain of x. An existential statement is a statement of the form "$\exists$ x \in D" such that $Q(x).$ It is defined to be true if, and only if, Q(x) is true for at least one x in D.
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.