Question

What is the truth value of each of the following formulas where the domain consists

of the integers? Justify your answers.

(a) ($\forall$x)($\forall$y)(x < y $\lor$ y < x)

(b) ($\exists$9y)($\forall$x)(x + y = 0)

Answer 1

a: False, for x=0,y=0 the statement is false

b: False, there is no such y that is equal to all (-x)