I.

PENARIKAN KESIMPULAN
Bagian penting dalam logika matematika adalah penarikan
kesimpulan

dari

pernyataan-pernyataan

pernyataan

yang

digunakan

untuk

tertentu.

menarik

suatu

Pernyataankesimpulan

diasumsikan benar terjadi disebut premis. Dari premis-premis itu

dapat ditarik kesimpulan yang merupakan pengetahuan baru disebut
konklusi.

Suatu konklusi dikatakan sah apabila premispremisnya bernilai benar.

Untuk menentukan sah atau tidaknya suatu kesimpulan, kita dapat

menggunakan ketiga prinsip berikut ini.

1. MODUS PONENS

Modus ponens adalah argumentasi yang disajikan dalam bentuk

berikut :

pq

(B) . . . . . premis 1

(B) . . . . .premis 2

(B) . . . . .kesimpulan/konklusi

BAHAN AJAR BERBASIS WEB (BLOG) SMK KELAS X LOGIKA MATEMATIKA

22

Modus ponens merupakan penarikan kesimpulan yang sah sebab

pernyataan [(p q

p] p merupakan sebuah tautologi. Bisakah

kamu membuktikan tautologi ini ???

Konklusi
dinotasikan

CONTOH:

dengan

Tentukan konklusi dari premis-premis tersebut.

2

Premis 1 : Jika n bilangan ganjil, maka n bilangan ganjil.

Pemis 2 : 5 bilangan ganjil.

Penyelesaian:
pq

Jika n bilangan ganjil, maka n2 bilangan ganjil

5 bilangan ganjil

52 merupakan bilangan ganjil

2. MODUS TOLLENS
Modus tollens adalah argumentasi yang disajikan dalam bentuk
berikut:

pq

(B) . . . . . premis 1

(B) . . . . .premis 2

(B) . . . . .kesimpulan/konklusi

BAHAN AJAR BERBASIS WEB (BLOG) SMK KELAS X LOGIKA MATEMATIKA

23

Modus tollens merupakan penarikan kesimpulan yang sah sebab

pernyataan [(p q)

q] p merupakan sebuah tautologi. Bisakah

kamu membuktikan tautologi ini ???

CONTOH:
Premis 1 : Jika perusahaan X mencemari maka ada limbah di sawah itu
Premis 2 : Tidak ada limbah di sawah itu.

Penyelesaian:
pq

Jika perusahaan X mencemari maka ada limbah di sawah itu

Tidak ada limbah di sawah itu

Tidak ada limbah di sawah itu

3. SILOGISME

Silogisme adalah argumentasi yang disajikan dalam bentuk

berikut:

pq

(B) . . . . .premis 1

qr

(B) . . . . .premis 2

p r

(B) . . . . .kesimpulan/konklusi

BAHAN AJAR BERBASIS WEB (BLOG) SMK KELAS X LOGIKA MATEMATIKA

24

Silogisme merupakan penarikan kesimpulan yang sah sebab

pernyataan [(p q)

(q r)] (

) merupakan sebuah tautologi.

Pernyataan p sering disebut dengan term penengah dalam penarikan

kesimpulan. Bisakah kamu membuktikan tautologi ini ???

CONTOH:
Premis 1 : Jika Tina pergi ke rumah nenek, maka Tina kehujanan
Premis 2 : Jika Tina kehujanan, maka Tina masuk angin

Penyelesaian:
p q

Jika Tina pergi ke rumah nenek, maka Tina kehujanan

q r

Jika Tina kehujanan, maka Tina masuk angin

p r

Jika Tina pergi ke rumah nenek, maka Tina masuk angin

BAHAN AJAR BERBASIS WEB (BLOG) SMK KELAS X LOGIKA MATEMATIKA

25