作者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/cn.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