Modul 8 — Konsep Tambahan, Agreement, dan Closure

Kembali ke bagian induk

Pelajari bagian berikut secara berurutan.

1. Ringkasan Isi Modul
2. KB 1 — Satisfiable, contradictory, dan consistent
3. KB 2 — Agreement pada simbol dan ekspresi
4. KB 3 — Universal closure dan existential closure

Lanjut belajar

• Modul 7: dasar sebelumnya
• Modul 9: pelajaran berikutnya