基本推論規則

1. 肯定前件(M.P.)

    p > q

        p

     q

 

2. 否定後件(M.T.)

    p > q

        ~q

     ~p

 

3. 假言三段論(H.S.)

    p > q

        q > r

     p > r

 

4. 簡化(Simpl.)

    p．q　　　        p．q

     p　　　　        q

 

5. 連言(Conj.)

    p

q

     p．q

6. 選言三段論(D.S.)

    p v q                p v q

        ~p                    ~q

     q                      p

 

7. 添加(Add.)

    p                      q

     p v q                p v q

 

8. 兩難論(Dil.)

    p > q

    r > s

    p v r

     q v s