楼主:
mp5k6 (飘雪)
2014-11-18 03:01:15各位乡民们大家好
相信大家都对 P->Q ~Q->~P
(P则Q) (非Q则非P)
这两个等价命题相当的熟悉。
但是今天在书上偶然看到这两个等价命题竟然也等于~PvQ
(非P或Q)
可以请大大们解释一下为什么这也是P则Q等价命题的八卦吗~?
P.S.
书本上完整是这样写的:
(P->Q)≡(~P->~Q)≡(~PVQ)，此三者为等价命题。
作者:
arrenwu (键盘的战鬼)
2014-11-18 03:02:00~PvQ 是命题吗？不过是否等价是靠检查真值表啦 一样就是等价
错惹 大哥跟这篇底下我的推文一样 #1KQYDUpd (Gossiping)
作者:
ryan0222 (也无风雨也无晴)
2014-11-18 03:10:00PV=nRT
不下雨也可能撑伞 其实主要是表达~p-＞~q的错误
作者: pzyc79 2014-11-18 03:37:00
p → q≡~p v q ≡ ~q → ~p 抄书也会抄错?
不不不不 这个绝对错了阿 (P->Q)≡(~P->~Q)所以我就跟您说过要读书了阿...... 看我推文的那篇
因为大多数初学逻辑的 都会以为p-＞q能推成~p-＞~q
作者:
weijiunn (http://kuso.cc/xXD )
2014-11-18 04:44:00你的 PS 整个写错了好吗
作者:
jay01684 (YiguoDada)
2014-11-18 06:40:00如果你真的没抄错 那本书还是拿去烧了吧.. XD
作者:
Logic (爱上林仙儿的阿飞)
2014-11-18 06:55:00你的 PS 部分真的写错了
作者: dostey (Dos) 2014-11-18 07:03:00
关于logic.你一开始错,整个logic就错了.end