About Lesson
Welcome to Topic 5 on Predicate Logic 2. After completing this topic, you are expected to:
- LO-01: understand the syntax of predicate formulas with two or more quantification,
- LO-02: be able in determining the truth value of predicate formulas with two quantifiers,
- LO-03: understand the intuitive semantics (meaning) of predicate formulas,
- LO-04: be able to classify predicate formulas based on their semantics (supplementary),
- LO-05: understand the semantics relationship between two predicate formulas, i.e., logical consequence and logical equivalence (supplementary),
- LO-06: be able to determine the negation of a quantified predicate formula.
Selamat datang di Topik 5 mengenai Logika Predikat 2. Setelah menyelesaikan topik ini, Anda diharapkan ini menguasai capaian berikut:
- LO-01: Memahami formula predikat dengan kuantor dua variabel atau lebih.
- LO-02: Menentukan kebenaran suatu formula logika predikat dengan kuantifikasi dua variabel.
- LO-03: Memahami semantik (makna) dari formula logika predikat secara intuitif.
- LO-04: Mampu mengelompokkan formula logika predikat berdasarkan semantiknya (suplemen).
- LO-05: Mengetahui keterkaitan semantik antara dua formula logika predikat, yaitu konsekuensi logis dan kesetaraan logika (supelemen).
- LO-06: Menentukan negasi dari formula logika predikat yang berkuantor.