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 131: 45

Answer

$\exists x\in D(P(x)\wedge \forall y\in D(P(y) \leftrightarrow y=x))$

Work Step by Step

We can write: $\exists x\in D(P(x)\wedge \forall y\in D(P(y) \leftrightarrow y=x))$ The statement is a conjunction of two statements. The first statement simply says that there is an element $x$ in $D$ for which the predicate $P$ is true. The second statement involves a biconditional. It says that if there is any other element $y$ in $D$ for which $P$ also holds, then it must be identical to $x$ and vice versa.
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.