Logika

(Inferensi)

Umi Mahdiyah

Prodi Teknik Informatika

Universitas Nusantara PGRI Kediri
PENARIKAN KESIMPULAN
(INFERENSI)
– Jika diberikan deret proposisi baik proposisi atomik
maupun proposisi majemuk, maka dapat dilakukan
penarikan kesimpulan yang disebut dengan inferensi.
Berikut ini akan diberikan beberapa metode inferensi,
yaitu teknik untuk menurunkan kesimpulan berdasarkan
hipotesis yang ada, tanpa harus menggunakan tabel
kebenaran.
Pembuktian Inferensi

P1 = jika Andi orang kaya maka Andi mempunyai mobil.

P2 = jika Andi mempunyai mobil maka Andi kuliah di luar kota

∴ jika Andi orang kaya maka Andi kuliah di luar kota

 P1 P2 K

+ + + + + +
+ + - + - -
+ - + - + +
+ - - - + -
- + + + + +
- + - + - +
- - + + + +
- - - + + +
Pembuktian Inferensi(2)

– Jika Andi orang kaya maka Andi mempunyai mobil, ternyata Andi mempunyai
mobil. Jadi, Andi adalah orang kaya

K P2 P1

+ + +
+ - -
- + +
- - +
Macam-Macam Inferensi
Modus Ponen

Modus Ponen adalah kaidah penarikan kesimpulan dari beberapa proposisi yang
didasarkan pada tautologi adalah hipotesis, sedangkan untuk q adalah konklusi /
kesimpulan.

Sedemikian hingga kaidah modus ponen dapat ditulis sebagai berikut :

p
Contoh(Modus Ponen)

P1 = jika Andi orang kaya maka Andi mempunyai

mobil.
P2 = Andi adalah orang kaya
Modus Tollen

Kaidah modul tollen dapat dituliskan dalam bentuk :

Contoh (Modus Tollen)

P1 = jika Andi orang kaya maka Andi mempunyai mobil.

P2 = Andi tidak mempunyai mobil
Contoh…

P1 = jika Andi orang kaya maka Andi mempunyai mobil.

P2 = Andi bukan orang yang kaya
Silogisme Hipotesis

Kaidah silogisme hipotesis dapat dituliskan dalam bentuk:

(Premis 1)
(Premis 2)
(Kesimpulan)
Contoh( Silogisme Hipotesis )

P1 = jika Andi orang kaya maka Andi mempunyai mobil.

P2 = jika Andi mempunyai mobil maka Andi kuliah di luar kota
Silogisme Disjungtif

Kaidah silogisme disjungtif dapat dituliskan dalam bentuk:

Contoh (Silogisme Disjungtif)

Maman akan pergi kuliah atau nonton film

Ternyata Maman tidak pergi kuliah
Konjungsi

Kaidah silogisme disjungtif dapat dituliskan dalam bentuk:

Contoh

Andi orang kaya

Andi mempunyai mobil
Andi adalah orang kaya dan mempunyai mobil