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.5 - Nested Quantifiers - Exercises - Page 67: 22

Answer

$\exists x[(x>0) \land \forall a \forall b \forall c(x\ne a^{2}+b^{2}+c^{2})]$

Work Step by Step

Let the domain be all integers. An integer is positive, if the integer is larger than 0. We can rewrite the given sentence as: "There exists an integer x, that is positive and for all three integers a, b and c, x is not the sum of the squares of the three integers." $\exists x[(x>0) \land \forall a \forall b \forall c(x\ne a^{2}+b^{2}+c^{2})]$
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.