作者gpsmelody07 ()
看板Grad-ProbAsk
標題[理工] 離散 一階邏輯 p.10-108
時間Wed Sep 12 08:31:08 2018
http://i.imgur.com/vbuzsDJ.jpg
http://i.imgur.com/AoGG4JQ.jpg
問a小題
答案是→，但我覺得是↔
因為→與↔最大的差異在於「→在前項為假後向為真」時，命題為真
因此解答的命題可容許「有一個人傳了簡訊給其他所有人，也傳簡訊給自己」的情況，使得命題亦為真，卻不符合題意(everyone "else")
而使用↔則是限縮在「有一個人傳了簡訊給除了自己外的所有人」
我不確定我的想法是否正確
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 1.171.86.191
※ 文章網址: https://webptt.com/m.aspx?n=bbs/Grad-ProbAsk/M.1536712271.A.C2A.html
1F：推 y2j60537: 我覺得題目要求存在一個人寄mail給其他所有人 這個敘述09/12 12:35
2F：→ y2j60537: 沒有否定存在一個人傳mail給自己09/12 12:35
3F：→ y2j60537: 當我沒說好了 我自己也越想越不對勁09/12 14:38
是不是!!!!就覺得有點怪怪的
還是感謝回覆
※ 編輯: gpsmelody07 (1.171.86.191), 09/12/2018 19:53:37
4F：推 JKLee: False↔False 也為真 09/12 20:17
5F：推 JKLee: 照你的解釋，改過後還是錯的 09/12 20:21
6F：推 JKLee: 對不起，我搞錯了 09/12 20:24
7F：推 olen0622: x 有mail給y又不保證一定是x!=y 09/12 20:25
8F：推 JKLee: 我覺得你是對的 09/12 20:28
9F：→ JKLee: to olen: 因為題目有個else 09/12 20:33
10F：推 y2j60537: 其實我想一想這個命題本來就容許傳給其他人加上自己吧 09/12 20:48
11F：→ y2j60537: 命題說要存在一個人要寄信給其他所有人 並沒有說他不能 09/12 20:48
12F：→ y2j60537: 寄給自己阿 就算他寄給了全班加上自己 他還是sent ever 09/12 20:48
13F：→ y2j60537: yone else in the class09/12 20:48
14F：→ y2j60537: 還是我英文太爛 sent to everyone else不是說你要寄給09/12 20:50
15F：→ y2j60537: 你以外的所有人 但沒說不能寄給自己阿09/12 20:50
16F：推 AliennC: 只要有人符合「只能傳給其他人」就符合題意，換句話說，09/13 11:59
17F：→ AliennC: 題目並沒有要求所有人都只能傳給其他人，只要有人符合了09/13 11:59
18F：→ AliennC: ，就可以有其他人傳給自己，因此無法保證←為真09/13 11:59
我後來想想也覺得答案是對的，謝謝大家!
※ 編輯: gpsmelody07 (1.171.86.191), 09/13/2018 19:31:30