Kuliah matematika diskrit Program Studi Teknik Elektro

Presentasi berjudul: "Kuliah matematika diskrit Program Studi Teknik Elektro"— Transcript presentasi:

1 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

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

3 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

4 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

5 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

6 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

7 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

8 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

9 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

10 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

11 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

12 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

13 Model Inferensi Lain Penambahan Disjungtif Penyederhanaan Konjungtif

14 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

15 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