【命题：若p则q的非命题是什么?不是求它的否命题,而是它的否-查字典问答网

来自黄俊峰的问题

　　【命题：若p则q的非命题是什么?不是求它的否命题,而是它的否定也就是它的非命题】

　　命题：若p则q的非命题是什么?

　　不是求它的否命题,而是它的否定也就是它的非命题

3回答

2020-02-13 11:15

我要回答

请先登录

郭素芬

　　若p则q它的真值表是

　　pq若p则q

　　001

　　011

　　100

　　111

　　所以它的否定真值表就是

　　000

　　010

　　101

　　110

　　只要是满足这个真值表的p,q的表达式就是若p则q的非命题.

　　所以是p且非q

　　楼上答案全是错的,真值表一写就知道了.

2020-02-13 11:17:20

黄俊峰

　　谢谢，那么原命题与逆否命题的等价也可以用这样的真值表来证明咯？只要都列出来看就可以了吗？

2020-02-13 11:22:18

郭素芬

　　是的，都是在数理逻辑公理体系下的，两个数理逻辑的命题公式等价的定义就是对于任意的变量取值，双方的真值相同不过有时候式子会比较复杂，可以用一些已知的等价关系或常用的公式间接变换而不需要用真值表。真值表是通法

2020-02-13 11:26:33