Presentasi sedang didownload. Silahkan tunggu

Presentasi sedang didownload. Silahkan tunggu

LOGO Penarikan Kesimpulan Ekivalensi Ekspresi Logika Oleh : Dani Suandi, M.Si.

Presentasi serupa


Presentasi berjudul: "LOGO Penarikan Kesimpulan Ekivalensi Ekspresi Logika Oleh : Dani Suandi, M.Si."— Transcript presentasi:

1 LOGO Penarikan Kesimpulan Ekivalensi Ekspresi Logika Oleh : Dani Suandi, M.Si.

2 Definisi Sebuah argumen dikatakan sahih (valid)jika konklusi benar bilamana semua hipotesisnya benar, sebaliknya argumen dikatakan tidak sahih (invalid) Argumen adalah suatu deret proposisi yang dapat ditulis sebagai : disebut hipotesis atau premis dan disebut konklusi

3 Bentuk Penarikan Kesimpulan (Inferensi) 1. Modus Ponens (B) …. Premis 1 (B) …. Premis 2 (B) …. Kesimpulan/konklusi Modus Ponens merupakan penarikan kesimpulan yang sah sebab pernyataan merupkan tautologi (cek!)

4 Contoh Penarikan Kesimpulan “ Jika 20 habis dibagi dua, maka 20 adalah bilangan genap. 20 habis dibagi dua. Karena itu, 20 adalah bilangan genap” Misalkan : p : 20 habis dibagi 2 q : 20 adalah bilangan genap Sehingga : Modus Ponen Kesimpulan q valid

5 Bentuk Penarikan Kesimpulan (Inferensi) 2. Modus Tollens (B) …. Premis 1 (B) …. Premis 2 (B) …. Kesimpulan/konklusi Modus Tollens merupakan penarikan kesimpulan yang sah sebab pernyataan merupkan tautologi (cek!)

6 Contoh Penarikan Kesimpulan “ Jika n bilangan ganjil, maka n 2 bernilai ganjil. n 2 bernilai genap. Maka n bilangan genap” Misalkan : p : n bilangan ganjil q : n 2 bernilai genap Sehingga : Modus Tollens Kesimpulan valid

7 Bentuk Penarikan Kesimpulan (Inferensi) 3. Silogisme (B) …. Premis 1 (B) …. Premis 2 (B) …. Kesimpulan/konklusi Silogisme merupakan penarikan kesimpulan yang sah sebab pernyataan merupkan tautologi (cek!)

8 Contoh Penarikan Kesimpulan “ Jika saya belajar dengan giat, maka saya lulus ujian. Jika saya lulus ujian, maka saya cepat nikah. ” Penarikan Kesimpulan : Jika saya belajar dengan giat, maka saya cepat nikah Skema Logika : p : saya belajar dengan giat q : saya lulus ujian r : saya cepat nikah Sehingga : Silogisme Kesimpulan valid

9 Bentuk Penarikan Kesimpulan (Inferensi) 4. Silogisme Disjungtif (B) …. Premis 1 (B) …. Premis 2 (B) …. Kesimpulan/konklusi Silogisme disjungtif merupakan penarikan kesimpulan yang sah sebab pernyataan merupkan tautologi (cek!)

10 Contoh Penarikan Kesimpulan “ Saya belajar dengan giat atau saya menikah tahun depan. Saya tidak belajar dengan giat” Penarikan Kesimpulan : Saya menikah tahun depan Skema Logika : p : saya belajar dengan giat q : saya menikah tahun depan Sehingga : Silogisme Disjungtif Kesimpulan valid

11 Bentuk Penarikan Kesimpulan (Inferensi) 5. Simplifikasi (B) …. Premis 1 (B) …. Kesimpulan/konklusi Simplifikasi merupakan penarikan kesimpulan yang sah sebab pernyataan merupkan tautologi (cek!)

12 Contoh Penarikan Kesimpulan “ Toni adalah mahasiswa UIN dan mahasiswa UNDIP.” Penarikan Kesimpulan 1: Toni mahasiswa UIN Penarikan Kesimpulan 2: Toni mahasiswa UNDIP Skema Logika : p : Toni mahasiswa UIN q : Toni mahasiswa UNDIP Sehingga : Simplifikasi Kesimpulan valid

13 Ekivalensi Apakah pernyataan berikut ini sama ? “Barang bagus tidak murah” “Barang murah tidak bagus”

14 Definisi Ekivalensi

15

16 Contoh Pernyataan Ekivalen Pernyataan yang ekivalen dengan “ Jika ia berusaha, maka ia berhasil” Misalkan : p : ia berusaha q : ia berhasil Karena (Cek) ! Maka pernyataan ekivalen adalah : : “ Ia tidak berusaha atau ia berhasil” Atau : “ Ia tidak berusaha tetapi ia berhasil”

17 Pernyataan ekuivalen Periksa pernyataan ekivalen berikut:

18 Negasi Pernyataan majemuk 1. Negasi Konjungsi 2. Negasi Disjungsi 3. Negasi Implikasi 4. Negasi Biimplikasi

19 Hukum – hukum logika proposisi 1. Hukum Identitas 2. Hukum Dominasi 3. Hukum Negasi 4. Hukum Idempoten 5. Hukum involusi 6. Hukum absorpsi

20 Hukum – hukum logika proposisi 7. Hukum Komutatif 8. Hukum Asosiatif 9. Hukum Distributif 10. Hukum De Morgan

21 Next Topic Penyederhanaan Bentuk Ekspresi Logika

22 Tugas  Tentukan negasi dari pernyataan majemuk berikut: a.Pada hari jumat semua mahasiswa menggunakan batik dan sepatu hitam b.Jika dosen tidak hadir, maka mahasiswa bersukaria  Tentukan pernyataan yang ekuivalen dengan pernyataan berikut ini: a.Jika laut pasang, maka tiang dermaga tenggelam b.Jika setiap orang menanam pohon maka udara bersih  Buatlah kesimpulan dari premis-premis berikut ini: I.Jika penguasaan mahasiswa terhadap logika matematika rendah, maka mahasiswa sulit berfikir logis II.Jika mahasiwa sulit berfikir logis, maka ia sulit menguasai kuliah analisis III.Mahasiswa menguasai kuliah analisis  Periksa dengan hukum – hukum logika proposisi, apakah pernyataan berikut adalah ekuivalen?


Download ppt "LOGO Penarikan Kesimpulan Ekivalensi Ekspresi Logika Oleh : Dani Suandi, M.Si."

Presentasi serupa


Iklan oleh Google