Give an example of a statement of predicate calculus that contains a least two quantifiers. Translate that statement into ordinary English. Write the negation of that statement.
Give an example of a statement of predicate calculus that contains
a least two quantifiers. Translate that statement into ordinary English. Write the negation of that statement.