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

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