Semantik II Oleh : Dani Suandi, M.Si. KELOMPOK I.

Presentasi berjudul: "Semantik II Oleh : Dani Suandi, M.Si. KELOMPOK I."— Transcript presentasi:

1 Semantik II Oleh : Dani Suandi, M.Si. KELOMPOK I

2 Latihan Gunakan Strategi pembalikan untuk membuktikan validitas argumen berikut ini Contructive Dilemma Jika Badu senang, maka Siti senang dan jika Badu sedih, maka Siti sedih. Badu senang atau Badu sedih. Dengan demikian, Siti senang atau Siti sedih Destructive Dilemma Jika Badu senang, maka Siti senang dan jika Badu sedih maka Siti sedih. Siti tidak senang atau Siti tidak sedih. Dengan demikian, Badu tidak senang atau Badu tidak sedih

3 Ingat! Hukum Logika 1. Hukum Identitas 6. Hukum absorpsi
2. Hukum Dominasi 7. Hukum Komutatif 3. Hukum Negasi 8. Hukum Asosiatif 4. Hukum Idempoten 9. Hukum Distributif 10. Hukum De Morgan 5. Hukum involusi

4 Ingat ! Pernyataan ekuivalen
Periksa pernyataan ekivalen berikut:

5 Aturan Semantik Aturan (1) Aturan (2)

6 Aturan Semantik Aturan (3) Aturan (4)

7 Aturan Semantik Aturan (5) Aturan (6)

8 Aturan Semantik Aturan (7) Aturan (8)

9 Aturan (9) Aturan (10) Aturan Semantik
Jika ada bentuk logika p dan negasinya yang berada pada satu deretan cabang dari tablo, maka terjadi ketidakkonsistenan pada cabang tersebut, dan cabang dinyatakan tertutup, sehingga cabang tersebut tidak bisa dikembangkan lagi.

10 Definisi Konsistensi Jika semua cabang tablo tertutup, maka ekspresi logika disebut bersama-sama tidak konsisten atau mereka tidak bisa bernilai benar bersama-sama

11 Periksa Konsistensi 2 buah ekspresi logika berikut ini
Contoh Periksa Konsistensi 2 buah ekspresi logika berikut ini

12 Untuk mengefisienkan pembuatan tablo:
Heuristik Untuk mengefisienkan pembuatan tablo: Carilah ekspresi logika yang dapat memakai aturan tanpa cabang (satu cabang) Carilah ekspresi logika yang isinya mempunyai bentuk yang tablonya pasti tertutup, agar cabang tablo tertutup dan tidak dapat dikembangkan lagi.

13 Periksa Konsistensi 4 buah ekspresi logika berikut ini
Latihan Periksa Konsistensi 4 buah ekspresi logika berikut ini

14 Tablo Semantik Pada Argumen
Catatan Tablo semantik menggunakan teknik strategi pembalikan dengan menegasikan kesimpulan Contoh : Membuktikan validasi dari Penarikan kesimpulan modus ponens

15 Buktikan Validitas penarikan kesimpulan berikut ini: Silogisme
Latihan Buktikan Validitas penarikan kesimpulan berikut ini: Silogisme Silogisme Disjungtif Modus Tollens