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.”
(a) ∀x L(x, Joy)
(b) ∀y L(Joy,y)
(c) ∃y∀x L(x, y)
(d) ∃x ¬L(Joy, x)
I had been asked this question by my college professor while I was bunking the class.
This interesting question is from Logics topic in division The Foundation: Logics and Proofs of Discrete Mathematics