传统命题逻辑的基本公理: 1。每一命题是真或假,但不能既真又假 2。由确定的术语所组成的表达式,都是命题 3。合取、析取、隐含、等效、逆运算组成的表达式也是命题。 有二个重要的同义反复(隐含) (P→q)4>[p∧(q (P→q)分(~p)Vq(p)√q 从真值表可以获得证明 Pqp>q~qp(q)1(下p(p)v TT T F F T F T T F T T F FF 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 →     →   ( ) (~ ) (~ ) ( ) ~ [ (~ )] 从真值表可以获得证明：