Question

"the sum of two positive integers is positive" into a logical expression.

Answer 1

The negation of this expression is as follows:

∀ x ∀ y (( x > 0 ) ^ ( y > 0 ) - - - - - -> ( x + y > 0 )) or ∀ x > 0 ∀ y >0 ( x + y > 0 )