Penarikan Kesimpulan

1.      Modud Ponens

Ø  “ jika diketahui p->q dan p, maka bisa ditarik kesimpulan q”

Premis 1 : p -> q

Premis 2 : p (modus premis)

ð  Kesimpulan : q

Contoh :

Premis 1 : jika bapak datang maka adik senang

Premis 2 : bapak datang

Kesimpulan : Adik senang.

2.      Modud Tollens

Ø  “ jika diketahui p->q dan ~q, maka bisa ditarik kesimpulan ~p”

Premis 1 : p -> q

Premis 2 : ~q (modus tollens)

ð  Kesimpulan : ~p

Contoh :

Premis 1 : jika hari hujan, maka adik memakai payung

Premis 2 : adik tidak memakai payung

Kesimpulan : hari tidak hujan

3.      Modud Silogisme

Ø  “ jika diketahui p->q dan q->r, maka bisa ditarik kesimpulan p->r”

Premis 1 : p -> q

Premis 2 : q->r (silogisme)

ð  Kesimpulan : p->r

Contoh :

Premis 1 : jika harga BBM naik, maka harga bahan pokok naik

Premis 2 : jika harga bahan pokok naik maka semua orang tidak senang

Kesimpulan : jika harga BBM naik, maka semua orang tidak senang