PERTEMUAN 3 LOGIKA

Sub Topik Inferensi Argumen

Inferensi (Inference) Inferensi adalah proses penarikan kesimpulan dari beberapa proposisi Kaidah inferensi : Modus ponen Modus tolen Silogisme hipotesis Silogisme disjungtif Simplifikasi Penjumlahan Konjungsi

Modus Ponen Pernyataan majemuk implikasi dengan diikuti pernyataan tunggal benar sebagai prasyarat implikasi. Didasarkan pada tautologi (p  (p  q))  q, dalam hal ini p dan (p  q) merupakan hipotesis sedangkan q konklusi Kaidah modus ponen : p  q p  q

Contoh Jika 10 habis dibagi 2 maka 10 adalah bilangan genap

Contoh Jika Ani mahasiswi Unijoyo, maka Ani rajin membaca.

Modus Tolen Didasarkan pada tautologi (q  (p  q))  p Kaidah modus tolen: p  q q  p

Contoh Jika 9 habis dibagi 2 maka 9 adalah bilangan genap 9 adalah bilangan ganjil 9 tidak habis dibagi 2

Contoh Jika Tono lulus mata kuliah Algoritma pemrograman, maka ia bisa mengambil mata kuliah struktur data. Tono tidak mengambil mata kuliah struktur data  Tono tidak lulus mata kuliah algoritma pemrograman.

Silogisme Hipotesis Didasarkan pada tautologi ((p  q)  (q  r))  (p  r) Dituliskan dengan : p  q q  r  p  r

Contoh Jika saya belajar dengan rajin, maka saya lulus kuliah Jika saya lulus kuliah, maka saya cepat dapat kerja  Jika saya belajar dengan rajin, maka saya cepat dapat kerja .

Silogisme Disjungtif Didasarkan pada tautologi ((p V q)  p)  q Dituliskan dengan : p V q  p  q

Contoh Saya naik sepeda motor atau mobil Saya tidak naik sepeda motor  Saya naik mobil

Simplifikasi Didasarkan pada tautologi (p  q)  p Dituliskan dengan :

Contoh Andi adalah mahasiswa yang rajin dan pandai atau Andi adalah mahasiswa yang pandai

Penjumlahan Didasarkan pada tautologi p  (p V q) Dituliskan dengan :

Contoh Tini mengambil mata kuliah struktur data.  Tini mengambil mata kuliah struktur data atau mengulang mata kuliah algoritma pemrograman.

Konjungsi Didasarkan pada tautologi ((p)  (q))  (p  q) Dituliskan dengan : p q  p  q

Contoh Tini mengambil mata kuliah struktur data. Tini mengulang mata kuliah Aljabar linear  Tini mengambil mata kuliah struktur data dan mengulang mata kuliah Aljabar Linear.

Contoh Soal 1 Jika hari ini hujan, maka saya naik becak. Hari ini hujan. Jika suatu bilangan kelipatan 100 maka ia adalah genap. Jika bilangan genap maka suatu bilangan kelipatan 2.

Argumen Sebuah argumen dikatakan sahih jika konklusi benar bilamana semua hipotesisnya benar, sebaliknya sebuah argumen dikatakan palsu (fallacy atau invalid)

Contoh Periksa kesahihan argumen berikut : p  q r  p q r Misal argumen nyatanya sbb : “Jika saya pulang kampung, maka saya tidak bisa ikut ujian susulan. Jika saya tidak lulus ujian, maka saya pulang kampung. Tetapi saya bisa ikut ujian susulan. Oleh karena itu saya lulus ujian”

p q r ̴ q p  ̴ q ̴ r ̴ r  p T F Argumen tersebut adalah benar

Contoh soal 2 Tentukan kebenaran dari argumen berikut : Jika air laut surut setelah gempa di laut, maka tsunami datang. Air laut surut setelah gempa di laut. Karena itu, Tsunami datang Jika air laut surut setelah gempa di laut, maka tsunami datang. Tsunami datang. Jadi, Air laut surut setelah gempa di laut.

Daftar Pustaka Rinaldi Munir, 2005, “Matematika diskrit”, INFORMATIKA Bandung