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

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

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

Ingat ! Pernyataan ekuivalen Periksa pernyataan ekivalen berikut:

Aturan Semantik Aturan (1) Aturan (2)

Aturan Semantik Aturan (3) Aturan (4)

Aturan Semantik Aturan (5) Aturan (6)

Aturan Semantik Aturan (7) Aturan (8)

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.

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

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

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.

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

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

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