Find a domain for the quantifiers in \(\exists x \exists y(x \neq y \wedge\) \(\forall z((z=x) \vee(z=y)))\) such that this statement is false.

Equation Transcription:

Text Transcription:

Neg (p right arrow (q wedge r))

P vee q

Neg r

(p wedge r) vee (q right arrow p)

Solution:

Step 1 :

we have to find a domain for a quantifiers in

this means there exist x and there exist y and also shows that x is not equal to y

and for all z obeys z is either equal to x or equal to y.

.’. The domains are

x=all add numbers

y=all even number and

z=real number or natural number.