Aturan Penyimpulan

1.  Modus Ponens (MP)

     p → q

     p  / ∴  q

2.  Modus Tolens (MT)

    p → q

    ~q / ∴ p

3.  Hypothetical Syllogisme (HS)

    p → q

    q → r / ∴ p → r

4.  Disjunctive Syllogisme (DS)

       p v q

    ~ p / ∴  q

5.  Constructive Dillema (CD)

     ( p → q ) ∧  ( r → s )

       p v r / ∴ q v s

6.  Destructive Dillema (DD)

    ( p → q ) ∧ ( r → s )

     ~ q v ~ s / ∴ ~p v ~r

7. Conjunction (Conj)

    p

    q / ∴ p ∧ q

8.  Simplification (Simpl)

     p ∧ q

     ∴ p

9.  Addition ( Add)

    p

    ∴ p v q