Solved

Match the English Statement with All Its Equivalent Symbolic Statements ∃x∀yT(x,y)\exists x \forall y T ( x , y )

Question 19

Short Answer

Match the English statement with all its equivalent symbolic statements in this list: 1. ∃x∀yT(x,y)\exists x \forall y T ( x , y )\quad \quad \quad 2. ∃y∀xT(x,y)\exists y \forall x T ( x , y )\quad \quad \quad 3. ∀x∃yT(x,y)\forall x \exists y T ( x , y )
4. ¬∃x∃yT(x,y)\neg \exists x \exists y T ( x , y )\quad \quad 5. ∃x∀y¬T(x,y)\exists x \forall y \neg T ( x , y )\quad \quad \quad 6. ∀y∃xT(x,y)\forall y \exists x T ( x , y )
7. ∃y∀x¬T(x,y)\exists y \forall x \neg T ( x , y )\quad \quad 8. ¬∀x∃yT(x,y)\neg \forall x \exists y T ( x , y )\quad \quad \quad 9. ¬∃y∀xT(x,y)\neg \exists y \forall x T ( x , y )
10. ¬∀x∃y¬T(x,y)\neg \forall x \exists y \neg T ( x , y )\quad 11. ¬∀x¬∀y¬T(x,y)\neg \forall x \neg \forall y \neg T ( x , y )\quad 12. ∀x∃y¬T(x,y)\forall x \exists y \neg T ( x , y )
-No student is taking any course.
In 137-147 suppose the variable x represents students, F(x) means "x is a freshman',' and M(x) means "x is

Correct Answer:

verifed

Verified

Unlock this answer now
Get Access to more Verified Answers free of charge

Related Questions