Senin, 07 November 2011

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

Tidak ada komentar:

Posting Komentar