推 showyoulovex:感謝大大解答 我懂了 11/09 14:08
※ 引述《showyoulovex (NONO)》之銘言：
: 題目:97 清大通訊 http://ppt.cc/ZDHj
: 解答為
: 抱歉 倒E 和倒A打不出來
: E=存在 A=所有
: Ex(Ay L(y,x)且 Az(Aw L(w,z))→z=x))
: ~~~~~~~~~~~~~
對於所有的z(對於所有的w, 若w喜歡z, 則z一定是x)
這個命題主要在強調唯一性
因為題目有exactly one person
: 前面部分我看的的懂
: 但看不懂波浪符號的部分 請大家幫忙
: 該怎麼理解呢？
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.118.110.186