Modul 2 — Aturan Semantik Logika Proposisional, Interpretasi yang Diperluas
Modul 2 — Aturan Semantik Logika Proposisional, Interpretasi yang Diperluas
Pelajari bagian berikut secara berurutan.
- Ringkasan Isi Modul
- KB 1 — Aturan semantik konektif
- KB 2 — Interpretasi yang diperluas
- KB 2 — Tabel kebenaran dan urutan menghitung
- Jembatan ke Python — contoh Modul 2