有趣的是, 若比較式子(1.14) 中的Q 用¬Q 取代後的結果, 我們得到. ¬(P ⇔ Q) ∼ (P ⇔ ¬Q). 當A 為statement form 時, ¬A 的對錯完全和A 的對錯相反, 所以A ⇔ ¬A 的truth.
確定! 回上一頁