คุณสมบัติของตัวบ่งปริมาณ
1. $\forall x\in S$ $\forall y\in T, P(x,y)$ $\equiv $ $\forall y\in T$ $\forall x\in S, P(x,y)$
2. $\exists x\in S$ $\exists y\in T, P(x,y)$ $\equiv $ $\exists y\in T$ $\exists x\in S, P(x,y)$
3. $\exists y\in T$ $\forall x\in S, P(x,y)$ $\Rightarrow $ $\forall x\in S$ $\exists y\in T, P(x,y)$
|