Question

Use predicates, quantifiers, logical connectives, and mathematical operators to express the statement that there is a positive integer that is not the sum of three squares.

Answer 1

Answer:

\exists x \forall y (x\ is \ a \ positive\ integer\ and\ y\ is\ an \ integer\ |  \ x\neq \sum\subx_{1} ^{3}  y^{2} )

Step-by-step explanation:

\exists x \forall y (x\ is \ a \ positive\ integer\ and\ y\ is\ an \ integer\ |  \ x\neq \sum\subx_{1} ^{3}  y^{2} )