Solved

Match the English Statement with All Its Equivalent Symbolic Statements xyT(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. xyT(x,y)\exists x \forall y T ( x , y )\quad \quad \quad 2. yxT(x,y)\exists y \forall x T ( x , y )\quad \quad \quad 3. xyT(x,y)\forall x \exists y T ( x , y )
4. ¬xyT(x,y)\neg \exists x \exists y T ( x , y )\quad \quad 5. xy¬T(x,y)\exists x \forall y \neg T ( x , y )\quad \quad \quad 6. yxT(x,y)\forall y \exists x T ( x , y )
7. yx¬T(x,y)\exists y \forall x \neg T ( x , y )\quad \quad 8. ¬xyT(x,y)\neg \forall x \exists y T ( x , y )\quad \quad \quad 9. ¬yxT(x,y)\neg \exists y \forall x T ( x , y )
10. ¬xy¬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. xy¬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