Topic 5: Predicate Logic 2 (Topik 5: Logika Predikat 2)

Open CourseWare Telkom University > Lessons > Topic 5: Predicate Logic 2 (Topik 5: Logika Predikat 2)
Course Content
Topic 4: Predicate Logic 1 (Topik 4: Logika Predikat 1)
0/12
Topic 4: Predicate Logic 1 (Topik 4: Logika Predikat 1)
00:00
Materi kuliah (slides)
00:00
Forum Diskusi Materi Topik 4: Logika Predikat Bagian 1
00:00
Online Quiz 4: Logika Predikat 1Kuis
00:00
Tautan eksternal
00:00
CII1B3-30212 – Logika Matematika – PB04 – M1 – PENDAHULUAN DAN MOTIVASI
00:00
CII1B3-30212 – Logika Matematika – PB04 – M2 – KUANTOR UNIVERSAL
00:00
CII1B3-30212 – Logika Matematika – PB04 – M3 – KUANTOR EKSISTENSIAL
00:00
CII1B3-30212 – Logika Matematika – PB04 – M4 – VARIABEL TERIKAT DAN VARIABEL BEBAS
00:00
CII1B3-30212 – Logika Matematika – PB04 – M5 – KUANTOR BERSUSUN (BAGIAN 1)
00:00
CII1B3-30212 – Logika Matematika – PB04 – M6 – KUANTOR BERSUSUN (BAGIAN 2)
00:00
CII1B3-30212 – Logika Matematika – PB04 – M7 – CAKUPAN DAN PRESEDENS
00:00
Topic 5: Predicate Logic 2 (Topik 5: Logika Predikat 2)
0/12
Topic 5: Predicate Logic 2 (Topik 5: Logika Predikat 2)
00:00
Materi kuliah (slides)
00:00
Forum Diskusi Materi Topik 5: Logika Predikat Bagian 2
00:00
Online Quiz 5: Logika Predikat 2Kuis
00:00
Tautan eksternal
00:00
CII1B3-30212 – Logika Matematika – PB05 – M1 – KEBENARAN FORMULA BERKUANTOR TUNGGAL
00:00
CII1B3-30212 – Logika Matematika – PB05 – M2 – KEBENARAN FORMULA DGN KUANTIFIKASI DUA VARIABEL (TEORI)
00:00
CII1B3-30212 – Logika Matematika – PB05 – M3 – KEBENARAN FORMULA DGN KUANTIFIKASI DUA VARIABEL (CONTOH)
00:00
CII1B3-30212 – Logika Matematika – PB05 – M4 – ILUSTRASI FORMULA DENGAN KUANTIFIKASI DUA VARIABEL
00:00
CII1B3-30212 – Logika Matematika – PB05 – M5 – SEMANTIK INTUITIF FORMULA LOGIKA PREDIKAT
00:00
CII1B3-30212 – Logika Matematika – PB05 – M6 – NEGASI KUANTOR UNIVERSAL & EKSISTENSIAL
00:00
CII1B3-30212 – Logika Matematika – PB05 – M7 – LATIHAN NEGASI KUANTOR UNIVERSAL & EKSISTENSIAL
00:00
Topic 6: Predicate Logic 3 (Topik 6: Logika Predikat 3)
0/12
Topic 6: Predicate Logic 3 (Topik 6: Logika Predikat 3)
00:00
Materi kuliah (slides)
00:00
Forum Diskusi Materi Topik 6: Logika Predikat Bagian 3
00:00
Online Quiz 6: Logika Predikat 3Kuis
00:00
Tautan eksternal
00:00
CII1B3-30212 – Logika Matematika – PB06 – M1 – TRANSLASI BAHASA ALAMI KE LOGIKA PREDIKAT
00:00
CII1B3-30212 – Logika Matematika – PB06 – M2 – CONTOH TRANSLASI DARI BAHASA MANUSIA KE FORMULA PREDIKAT
00:00
CII1B3-30212 – Logika Matematika – PB06 – M3 – LATIHAN TRANSLASI DARI BAHASA ALAMI KE FORMULA PREDIKAT
00:00
CII1B3-30212 – Logika Matematika – PB06 – M4 – NEGASI KALIMAT BERKUANTOR
00:00
CII1B3-30212 – Logika Matematika – PB06 – M5 – DEFINISI INSTANSI UNIVERSAL, GENERALISASI UNIVERSAL, DAN INSTANSIASI EKSISTENSIAL
00:00
CII1B3-30212 – Logika Matematika – PB06 – M6 – GENERALISASI EKSISTENSIAL, MODUS PONENS DAN TOLLENS UNIVERSAL
00:00
CII1B3-30212 – Logika Matematika – PB06 – M7 – LATIHAN SOAL INFERENSI
00:00
Melangkah Lebih Dalam dalam Logika Matematika: Dari Dasar Logika Predikat hingga Pemahaman Lanjut

    DeMorgan'sLaw

    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.
    Previous
    Next