Chapter 1 - Section 1.5 - Nested Quantifiers - Exercises - Page 67: 20

Any domain with four or more members makes the statement true; any domain with three or fewer members makes the statement false.

We Have to prove that on which domain ∀x∀y∀z∃w((w = x) ∧ (w = y) ∧ (w = z)) is false?true? As we know that Any domain with four or more members makes the statement true; any domain with three or fewer members makes the statement false.