逆流的鱼0702
花朵
共回答了18个问题采纳率:88.9% 举报
若p则q 它的真值表是
p q 若p则q
0 0 1
0 1 1
1 0 0
1 1 1
所以它的否定真值表就是
p q
0 0 0
0 1 0
1 0 1
1 1 0
只要是满足这个真值表的p,q的表达式就是若p则q的非命题.
所以是 p且非q
楼上答案全是错的,真值表一写就知道了.
1年前
追问
9
pyraymond
举报
谢谢,那么原命题与逆否命题的等价也可以用这样的真值表来证明咯?只要都列出来看就可以了吗?
举报
逆流的鱼0702
是的,都是在数理逻辑公理体系下的,两个数理逻辑的命题公式等价的定义就是对于任意的变量取值,双方的真值相同 不过有时候式子会比较复杂,可以用一些已知的等价关系或常用的公式间接变换而不需要用真值表。真值表是通法