数理逻辑——蕴含词（条件词）

题目

数理逻辑——蕴含词（条件词）
为什么条件为真结论为假的时候语句为假?
为什么条件为假结论为真的时候语句为真?
为什么条件为假结论为假的时候语句为假?

答案

你的第三句写错了,应该是为真,就是
说当条件为假时结论无论真假,命题均
真,在一本上海交大出的离散数学上说,
当条件为假时,视为善意的推断,所以
结论无论真假,命题都真,而第一句是
因为它正好是和真命题条件为真时结论
为真是矛盾的,其实这四句话组成了条件
连接词的真值表,真值表本身是人为
规定的,当然规定是要依据事实的,不能
瞎规定,就是说在这样的规定下,它与
实际是相符的,并且能依据它解决实际
问题,你如果真的对数学感兴趣,你可以
用这样规定的条件连接词真值表去看看
在高中数学中有关充分条件的内容,
或者看看不等式的证明,想想是不是
这样规定的条件连接词真值表特别有用?
不过这里有一点要注意,充分条件是用到
这个真值表,它和条件连接词有区别,
像这些问题,我不大好解释,那就看你
有没有这个大脑了.