Find a domain for the quantifiers in ∃x∃y(x ≠ y ∧ ∀z((z = x) ∨ (z = y))) such that this statement is true.


여기서 한정자에 대한 영역이 뭐에요...?


그냥 ∀ 영역을 찾으면 되는건가요?