※ 引述《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