Topic 6: Predicate Logic 3 (Topik 6: Logika Predikat 3)

Open CourseWare Telkom University > Lessons > Topic 6: Predicate Logic 3 (Topik 6: Logika Predikat 3)
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

    UniversalInstantiation

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