[理工] 離散 一階邏輯 p.10-108

作者: gpsmelody07 (YC)   2018-09-12 08:31:08
http://i.imgur.com/vbuzsDJ.jpg
http://i.imgur.com/AoGG4JQ.jpg
問a小題
答案是→,但我覺得是↔
因為→與↔最大的差異在於「→在前項為假後向為真」時,命題為真
因此解答的命題可容許「有一個人傳了簡訊給其他所有人,也傳簡訊給自己」的情況,使得命題亦為真,卻不符合題意(everyone "else")
而使用↔則是限縮在「有一個人傳了簡訊給除了自己外的所有人」
我不確定我的想法是否正確
作者: y2j60537 (skkkkuu)   2018-09-12 12:35:00
我覺得題目要求存在一個人寄mail給其他所有人 這個敘述沒有否定存在一個人傳mail給自己當我沒說好了 我自己也越想越不對勁
作者: JKLee (J.K.Lee)   2018-09-12 20:17:00
False↔False 也為真照你的解釋,改過後還是錯的對不起,我搞錯了
作者: olen0622 (hong)   2018-09-12 20:25:00
x 有mail給y又不保證一定是x!=y
作者: JKLee (J.K.Lee)   2018-09-12 20:28:00
我覺得你是對的to olen: 因為題目有個else
作者: y2j60537 (skkkkuu)   2018-09-12 20:48:00
其實我想一想這個命題本來就容許傳給其他人加上自己吧命題說要存在一個人要寄信給其他所有人 並沒有說他不能寄給自己阿 就算他寄給了全班加上自己 他還是sent everyone else in the class還是我英文太爛 sent to everyone else不是說你要寄給你以外的所有人 但沒說不能寄給自己阿
作者: AliennC   2018-09-13 11:59:00
只要有人符合「只能傳給其他人」就符合題意,換句話說,題目並沒有要求所有人都只能傳給其他人,只要有人符合了,就可以有其他人傳給自己,因此無法保證←為真

Links booklink

Contact Us: admin [ a t ] ucptt.com