[理工] 一階邏輯

[showyoulovex (NONO)]

題目:97 清大通訊  http://ppt.cc/ZDHj


解答為

抱歉 倒E 和倒A打不出來

E=存在  A=所有


Ex(Ay L(y,x)且 Az(Aw L(w,z))→z=x))

                     ~~~~~~~~~~~~~


前面部分我看的的懂

但看不懂波浪符號的部分　請大家幫忙

該怎麼理解呢？

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.134.26.47
→ metalalive:因為原題意要求,恰好一人被每一個人love, BUT 前半段只
→ metalalive:說明 "存在一人" (一人以上) everyone loves , 所以要
→ metalalive:消弭存在2人 everyone loves 的情況
→ showyoulovex:感謝～