Penarikan Kesimpulan

Penarikan Kesimpulan dapat dilakukan dengan menelaah premis atau pernyataan-pernyataan yang kebenarannya telah dketahui. Perhatikan beberapa konsep penarikan kesimpulan di dalam logika matematika berikut ini:

Modus ponens

premis 1 : p →q

premis 2 : p 

Kesimpulan: q

Arti Modus Ponens adalah “jika diketahui p → q dan p, maka bisa ditarik kesimpulan q“.  sebagai contoh :

premis 1 : Jika bapak datang maka adik akan senang

premis 2 : bapak datang

Kesimpulan: Adik senang

 Modus Tollens

premis 1 : p →q

premis 2 : ~q  

Kesimpulan: ~p

Modus Tollens berarti “jika diketahu p → q dan ~q, maka bisa ditarik kesimpulan ~p“. sebagai contoh :

premis 1 : Jika hari hujan, maka adik memakai payung

premis 2 : Adik tidak memakai payung

Kesimpulan : Hari tidak hujan

Silogisme

premis 1 : p→q

 premis 2 : q → r          

Kesimpulan:  p →r

Silogisme berarti “jika diketahu p → q dan q→r, maka bisa ditarik kesimpulan p→r“. sebagai 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.