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