About Lesson
Welcome to Topic 6 on Predicate Logic 3. After completing this topic, you are expected to be able to:
- LO-01: translate simple sentences from natural language to first-order predicate logic formulas,
- LO-02: determine negation of simple quantified language sentences containing negation,
- LO-03: apply inference rule for quantified statements involving single quantification in first-order predicate logic.
Selamat datang di Topik 6 mengenai Logika Predikat 3. Setelah menyelesaikan topik ini, Anda diharapkan menguasai capaian berikut:
- LO-01: Mentranslasikan kalimat dalam bahasa alami ke formula logika predikat orde pertama.
- LO-02: Menentukan negasi dari kalimat dalam bahasa alami yang mengandung kuantifikasi.
- LO-03: Menerapkan aturan inferensi untuk formula berkuantor tunggal pada logika predikat orde pertama.