Finding Models for a sequent
-
04-11-2019 - |
문제
I am trying to generate models for the following sequent.
$$\exists x \exists y \forall z (z = x \lor z = y)$$
What I have come up with is this.
$$A= \{0,1\}$$
So in this model, for all the values of $z$ there exists $x$ such that $z = x$ or there exists $y$ such that $z = y$. Is this model correct? What other models are there that satisfy this?
올바른 솔루션이 없습니다
제휴하지 않습니다 cs.stackexchange