※ 引述《mp5k6 (飘雪)》之铭言:
: 各位乡民们大家好
: 相信大家都对 P->Q ~Q->~P
: (P则Q) (非Q则非P)
: 这两个等价命题相当的熟悉。
: 但是今天在书上偶然看到这两个等价命题竟然也等于~PvQ
: (非P或Q)
: 可以请大大们解释一下为什么这也是P则Q等价命题的八卦吗~?
前一阵子我才发过逻辑被高中教材删掉的文章,看起来真的有影响。
真值表: T = True , F = False
P Q P->Q ~PvQ
T T T T
T F F F
F T T T
F F T T
所以可知道不管 P Q 的组合是怎样, P->Q 和 ~PvQ 的真值是一样的