Kuliah matematika diskrit Program Studi Teknik Elektro Logika Proposisi Bagian Ke Tujuh: Review Pertemuan Ke- 3 Kuliah matematika diskrit Ari Fadli, s.t. Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Review Pertemuan Ke - 3 Tujuan : Review Pertemuan Ke-3 Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Soal Pada suatu hari anda hendak pergi ke kampus dan baru sadar bahwa anda tidak menggunakan kacamata, dan setelah anda mengingatnya ada beberapa fakta yang anda pastikan kebenarannya : Jika kacamataku ada dimeja dapur, maka aku pasti sudah melihatnya ketika sarapan pagi Saya membaca koran di ruang tamu atau saya membacanya di dapur Jika saya membaca koran di ruang tamu, maka pastilah kacamata kuletakan di meja tamu Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Soal Saya tidak melihat kacamataku pada waktu sarapan pagi Jika saya membaca buku di kasur maka kacamata kuletakan di meja samping kasur Jika saya membaca buku di dapur maka kacamata kuletakan di meja samping dapur Tentukan letak kacamatanya : Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Jawab Carilah atomic proposisi dari proposisi yang majemuk : p : Kacamataku ada di meja dapur q : Aku melihat kacamataku waktu sarapan pagi r : Saya membaca koran diruang tamu s : Saya membaca koran didapur t : Kacamata kuletakan dimeja tamu u : Saya membaca buku di kasur w : Kacamata kuletakan di meja samping ranjang Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Jawab Simbol kan proposisi majemuk pada soal berdasarkan atomik proposisi yang dibuat : p  q r  s r  t  q u  w s  p Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Jawab Lakukan Inferensi : p  q r  s r  t  q u  w s  p Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Jawab 1. Langkah 1 (Gunakan modus tollens) : p  q (fakta a)  q (fakta d) --------------------   p Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Jawab 1. Langkah 2 (Gunakan modus tollens) : s  p (fakta f)  p (Kesimpulan 1) --------------------   s Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Jawab 1. Langkah 2 (Gunakan modus tollens) : s  p (fakta f)  p (Kesimpulan 1) --------------------   s Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Jawab 1. Langkah 3 (Gunakan Disjuctive) : r  s (fakta b)  s (Kesimpulan 2) --------------------  r Kuliah matematika diskrit Program Studi Teknik Elektro

Kuliah matematika diskrit Program Studi Teknik Elektro Jawab 1. Langkah 4 (Gunakan Disjuctive) : r  t (fakta c) r (Kesimpulan 2) --------------------  t Kuliah matematika diskrit Program Studi Teknik Elektro

Model Inferensi Lain Penambahan Disjungtif Penyederhanaan Konjungtif

Penambahan Disjungtif Inferensi disjungtif didasarkan atas fakta bahwa suatu kalimat dapat digeneralisir dgn penghubung ‘’ Alasannya adalah : penghubung ‘’ bernilai T jika salah satu komponennya T A  A  B Hipotesa B  A  B Hipotesa Kesimpulan Kesimpulan

Penyederhanaan Konjungtif Kebalikan disjungtif. Menggunakan penghubung ‘’ Kalimat tsb dapat diambil salah satunya secara khusus. Konjungtif  penyempitan Disjungtif  perluasan A  B  A Hipotesa A  B  B Hipotesa Kesimpulan Kesimpulan