All mock tests are FREE till 31 December — register to save your progress
Unit 1 · Discrete Structures and Optimization Paper 2 CS · June 2024 Re-Exam

Let L(x, y) be the statement "x loves y", where the domain for both x and y consists of all people in the world. Use quantifiers to express "Joy is loved by everyone".

Pick an option to check yourself, or open the answer below.

Show answer & explanation

Correct answer: A. ∀x L(x, Joy)

Explanation

'Everyone loves Joy' means for every person x, x loves Joy: ∀x L(x, Joy). ∀y L(Joy, y) means Joy loves everyone.

More Discrete Structures and Optimization questions