(4) Find a common domain for the variables x, y, and z for which the statement ∀x∀y((x=/=y) => ∀z((z=x)v(z=y))) is true and another domain for which it is false.
The Answer to the Question
is below this banner.
Here's the Solution to this Question
It is true on every set with no more than members and false on other sets.
For example, it is true on and false on