1：若p是真，q是真，則 p→q是真；
2：若p是真，q是假，則 p→q是假；
3：若p是假，q是真，則 p→q是真；
4：若p是假，q是假，則 p→q是真。
我們主要的疑問集中在3和4。即爲什麼條件p爲假的時候，不管結果q如何，p->q這個結論是真。
網友的看上去比較靠譜的見解：
這是規定而已，因爲排中律的存在，當p爲假時，不得不給 p->q 的真值規定一個，但是實際上基於對現實的意義來說， p爲假時,p->q可真可假，這就違反了排中律。所以作出這樣的規定，你也可以通過規定 p爲假時，p->q 爲假 ，由此衍生出一個對稱的邏輯系統來。
當然，此時p->q的真值和 p or (not q) 就不相同了。
實際上，在另外的一些邏輯系統中，他們拒絕排中律的存在，由此衍生出三元邏輯：真，假，待定。
我的理解是，既然我們很難對這個命題進行正面的解釋，那麼我們可以採用等價命題的方式進行理解。因爲p->q≡┓p∨q ,這樣的話就不難理解了。當p爲假，則┓p爲真。整個式子┓p∨q就爲真。所以就有了上面的真值表。
