Lesson 7 (10個基本推演規則，10 basic rules of inference)

(一) 肯定前件規則 (modus ponendo ponens 簡寫 PP)：

   1. S"Q     P (此P代表premise為真)

   2. S        P (此P代表premise為真)

   3. Q        PP, 1, 2 (表示理由是「規則PP」及1, 2)

(二) 双否定規則 (rule of double negation簡寫 DN)

   1. S        P

   2. ¬ ¬S           DN, 1 

(三) 否定後件規則 (modus tollendo tollens 簡寫 TT)

   1. R"S     P

   2. ¬S             P

      3.   ¬R            TT, 1, 2

(四) 附加規則 (rule of adjunction簡寫 A)

   1. S       P

   2. T       P

   3. SÙT     A,1,2

(五) 簡化規則 (rule of simplification 簡寫 S)

   1. QÙR           P

   2. Q                P

   3. R        S,1,2 

(六) 否定肯定規則 (modus tollendo ponens簡寫 TP)

   1. QÚR            P

   2. ¬ Q              P

      3.    R                TP, 1, 2

(七) 假言三段論 (law of hypothetical syllogism 簡寫 HS)

   1. W"Q     P

   2. Q"R           P

   3. W"R     HS,1,2

(八) 選言三段論 (law of disjunctive syllogism 簡寫 DS)

   1. WÚQ           P

   2. W"S          P

   3. Q"T           P

   3. SÚT          DS,1,2,3

(九) 狄摩根律 (DeMorgan’s Law簡寫 DM)

        ¬(AÚB)與(¬A)Ù(¬B)邏輯等價

     ¬(AÙB)與(¬A)Ú(¬B)邏輯等價

(十) 移出律 (law of exportation簡寫 Exp)

    P"(Q"R)與(PÙQ)"R 邏輯等價