[理工] [離散]邏輯

[Austin9 (奧斯丁)]

Let L(x,y) be the propositional function "x loves y."
請問一下，Nobody loves everyone.為什麼是"for all x,存在y ┐L(x,y)"
我的想法是for all y說，但答案是存在y，想不透，有人可以教一下嗎？謝謝。

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 61.62.94.71
→ aoqq12:對所有X 對一個y都不喜歡<====所以y nobody love
→ aoqq12:哈哈= = 上面搞錯了 nobody love everyone
→ aoqq12:所以只要存在一個人不被喜歡就成立了啊
→ aoqq12:for some就好  for all的話 那就沒考慮到有些人只不喜歡部
→ aoqq12:部份人
→ Austin9:原來如此，謝謝a大