離散數(shù)學(xué)，命題問(wèn)題

當(dāng)P為假時(shí)，無(wú)論此時(shí)Q是真命題還是假命題，P→Q的真假好象無(wú)法判斷，又如第二天天下雨了，無(wú)論此時(shí)張三去不去你家，無(wú)法判斷張三說(shuō)的話的真?zhèn)?，但是他并沒(méi)有食言，從這種意義上說(shuō)，張三說(shuō)的話仍為真，這稱為“善意推定”，因此我們規(guī)定，將P為假這種情況一律規(guī)定P→Q為真，例如命題“如果2+3=4，則太陽(yáng)從東邊出來(lái)”，
“如果2+3=4，則太陽(yáng)從西邊出來(lái)”，均認(rèn)為是真命題，考慮數(shù)學(xué)中的一個(gè)例子，
“如果x>2，則x+1≥3”，顯然這個(gè)命題對(duì)任意實(shí)數(shù)x均是成立的，但當(dāng)x分別取值3,2,1時(shí)
，上面命題分別為“如果3>2，則3+1≥3”，
“如果2>2，則2+1≥3”，
“如果1>2，則1+1≥3”，由此可見(jiàn)，當(dāng)且僅當(dāng)P為真，Q為假時(shí)，P→Q才為假，其余情況均為真