《离散数学》中关于P→Q的条件问题,P为0, Q为1时,P→Q为1。这种推断称为“善意推定”。举个例子吧:如果天下雨(P),则马路湿(Q)。“如果天不下雨(非P),则马路湿(Q)”可能为真,因为造成马路湿的因素很多,即P为0,Q为1,则P→Q为1,是善意推定。命题的判断常常要联系现实生活,不过很有意思
比如说P:2 > 5Q: 6 > 5则由P是可以推出Q的(因为6大于2)