Page 50 - 8 e modulo logika-dikonversi
P. 50
RANGKUMAN
➢ Kesimpulan adalah suatu pernyataan baru atau suatu penegasan dari
pernyataan – pernyataan sebelumnya ( disebut premis) yang
berhubungan secara selaras. Penarikan kesimpulan yang mempunyai
nilai benar dikatakan berlaku atau sah, jika semua premisnya benar
maka konklusinya juga benar
➢ Modus ponens
Aturan dasar penarikan kesimpulan yang disebut modus ponens
menyatakan bahwa
Jika p → q benar dan p benar maka pernyataan q bernilai benar
Modus ponens juga dapat dinyataakan sebagai berikut.
Premis (1) : p → q
Premis (2) : p
Kesimpulan : q
(konklusi)
➢ Modus Tollens
Aturan dasar penarikan kesimpulan yang disebut modus tollens
menyatakan bahwa:
Jika p → q benar dan ~q benar maka pernyataan ~p bernilai
benar
Modus tollens dapat disajikan dengan
Premis (1) : p → q
Premis (2) : ~q
(konklusi) : ~p
➢ Silogisme
Aturan dasar penarikan kesimpulan yang disebut silogisme
menyatakan bahwa:
Jika p → q dan q → r keduanya benar maka p → r juga benar
silogisme dapat disajikan dengan:
Premis (1) : p → q
Premis (2) : q → r
Konklusi : p → r
46
Logika matematika
