※ 引述《mp5k6 (飘雪)》之铭言：
: 各位乡民们大家好
: 相信大家都对 P->Q ~Q->~P
: (P则Q) (非Q则非P)
: 这两个等价命题相当的熟悉。
: 但是今天在书上偶然看到这两个等价命题竟然也等于~PvQ
: (非P或Q)
: 可以请大大们解释一下为什么这也是P则Q等价命题的八卦吗~?
: P.S.
: 书本上完整是这样写的:
: (P->Q)≡(~P->~Q)≡(~PVQ)，此三者为等价命题。
若P则Q表示 不允许P真而Q假 也就是说只有P真Q假的时候叙述为假
所以P假P->Q叙述必为真 或是Q真则叙述必为真
所以P->Q ≡ ~P V Q
补个八卦
我等等要考逻辑
真是个坏逻辑∩__∩y