Use quantifiers and predicates with more than one variable to express, “There is a pupil in this lecture who has taken at least one course in Discrete Maths.”

Question

Accepted Answer

∃x∃yp (x, y), where p (x, y) is “x has taken y,” the domain for x consists of all pupil in this class, and the domain for y consists of all discrete maths lectures

Use quantifiers and predicates with more than one variable to express, “There is a pupil in this lecture who has taken at least one course in Discrete Maths.”

Make the most of this question