L(x,y) 為 x loves y
請問要怎麼用上面proposition表達這件事?
"x對戀人y說: nobody but you"

for some y, L(x,y) <--> [(for all z, L(x,z)<-->z=y)]

請問是這樣嗎?