传统命题逻辑的基本公理: 1。每一命题是真或假,但不能既真又假 2。由确定的术语所组成的表达式,都是命题 3。合取、析取、隐含、等效、逆运算组成的表达式也是命题。 有二个重要的同义反复(隐含) (P→q)4[P∧(g (P→9)4>(~p)q4(p)yq 从真值表可以获得证明 p pqqPA(q-pAfgkplp)v TI T T F F T F T TI F F T T F F F FIT T F F T T T FF T T F T T Tp q p → q ~ q p  (~ q) ~ [ p(~ q)] ~ p (~ p)  q T F T T T T T T T T T T T T T T T T F T F F F F F F F F F F F F 传统命题逻辑的基本公理： 1。 每一命题是真或假，但不能既真又假； 2。 由确定的术语所组成的表达式，都是命题； 3。 合取、析取、隐含、等效、逆运算组成的表达式也是命题。 有二个重要的同义反复（隐含） p q p q p q p q p q →     →   ( ) (~ ) (~ ) ( ) ~ [ (~ )] 从真值表可以获得证明：