[理工] 离散 一阶逻辑 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