Welcome to Topic 4 on Predicate Logic 1. After completing this topic, you are expected to:

• LO-01: understand predicate as a function,
• LO-02: understand the utilization of universal and existential quantification in predicate logic,
• LO-03: be able to determine the truth value of a predicate logic formula with single quantification,
• LO-04: understand the difference between free and bounded variables,
• LO-05: understand the precedence of quantification and propositional operators,
• LO-06: understand the proof methods concerning predicate formulas (supplementary).

Selamat datang di Topik 4 mengenai Logika Predikat 1. Setelah menyelesaikan topik in, Anda diharapkan menguasai capaian berikut:

• LO-01: Memahami predikat sebagai fungsi.
• LO-02: Memahami penggunaan kuantifikasi universal dan kuantifikasi eksistensial dalam logika predikat.
• LO-03: Menentukan kebenaran suatu predikat formula dengan kuantor tunggal.
• LO-04: Memahami perbedaan antara variabel terikat dan bebas.
• LO-05: Memahami presedens dari kuantor dan operator proposisional lainnya.
• LO-06: Mengetahui metode pembentukan formula logika predikat (suplemen).