1.5 Quantifiers & Predicate Logic

Quantifiers


Let \(Q(x,y)\) be the statement

   "\(x\) has been a contestant on television show \(y\)."

The domain of discourse for \(x\) is the set of all students at your school and for \(y\) is the set of all quiz shows on television.

Which of the following are logically equivalent to:

"No student at your school has ever been a contestant on a television quiz show."

Exercise 1