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.”

• A. ∃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
• B. ∃x∃yp (x, y), where p (x, y) is “x has taken y,” the domain for x consists of all discrete maths lectures, and the domain for y consists of all pupil in this class
• C. ∀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
• D. ∃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