Semantik II LOGO Oleh Dani Suandi M Si
- Slides: 15
Semantik II LOGO Oleh : Dani Suandi, M. Si.
Latihan Gunakan Strategi pembalikan untuk membuktikan validitas argumen berikut ini a. 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 b. 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 5. Hukum involusi 9. Hukum Distributif 10. Hukum De Morgan
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 Semantik Aturan (9) Aturan (10) 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
Contoh Periksa Konsistensi 2 buah ekspresi logika berikut ini
Heuristik Untuk mengefisienkan pembuatan tablo: 1. Carilah ekspresi logika yang dapat memakai aturan tanpa cabang (satu cabang) 2. Carilah ekspresi logika yang isinya mempunyai bentuk yang tablonya pasti tertutup, agar cabang tablo tertutup dan tidak dapat dikembangkan lagi.
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
Latihan Buktikan Validitas penarikan kesimpulan berikut ini: 1. Silogisme 2. Silogisme Disjungtif 3. Modus Tollens