為了理解真值表中每個情況的含義,我們可以回顧條件命題的定義:“當(dāng) P 的真值為真而 Q 的真值為假時,命題 P->Q 的真值為假,否則 P->Q 的真值為真。”
在第一行,當(dāng) P 和 Q 都為假時,條件命題的真值為真。這可能看起來有些奇怪,因為在我們的日常生活中,我們可能會覺得如果條件不成立,那么結(jié)果也不應(yīng)該成立。但是在邏輯學(xué)中,如果條件不成立(P為假),我們不會對結(jié)果(Q)的真假進行要求。因此,當(dāng)條件不成立時,條件命題被認為是成立的。