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

Answer

a. $\forall$ dinosaurs x, x is extinct. b. $\forall$ real numbers x, x is positive negative, or zero. c. $\forall$ irrational numbers x, x is not an integer. d. $\forall$ logicians x, x is not lazy. e. $\forall$ integers x, $x^2$ does not equal 2, 147, 581, 953. f. $\forall$ real numbers x, $x^2$ is not equal to -1.

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). "
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.