This question is from Rosen:
L(x,y): x loves y.
Use quantiﬁers to express:
"There is someone who loves no one besides himself or herself"
The answer given by textbook is
What I don't understand is what does the statement mean when both p and q in
p <=> q are false. The statement is true, according to biconditional truth table, but what does the statement actually mean?
My answer for the question was
∃x∀y(L(x,x) ∧ ¬L(x,y) ∧ ¬(x=y))