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

Answer

$\forall x ((x>0) \rightarrow x=a^{2}+b^{2}+c^{2}+d^{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: “For all integers x, if x is positive, then there exists four integers a, b, c and d such that x is the sum of the squares of the four integers.“ $\forall x ((x>0) \rightarrow x=a^{2}+b^{2}+c^{2}+d^{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.