Semua Course

Propositional Logic 2 (Logika Proposisi 2)

Open CourseWare Telkom University > Lessons > Propositional Logic 2 (Logika Proposisi 2)
Course Content
Topic 1: Propositional Logic 1 (Topik 1: Logika Proposisi 1)
0/8
Propositional Logic 1 (Logika Proposisi 1)
00:00
CII1B3-30212 – Logika Matematika – PB01 – M1 – MOTIVASI PENGGUNAAN LOGIKA PROPOSISI DALAM INFORMATIKA
03:29
CII1B3-30212 – Logika Matematika – PB01 – M2 – DEFINISI LOGIKA PROPOSISI
02:43
CII1B3-30212 – Logika Matematika – PB01 – M3 – CONTOH PROPOSISI
03:19
CII1B3-30212 – Logika Matematika – PB01 – M4 – BEBERAPA OPERATOR LOGIKA
05:21
CII1B3-30212 – Logika Matematika – PB01 – M5 – BAGIAN KEDUA DARI OPERATOR YANG ADA DALAM LOGIKA PROPOSISI
03:36
CII1B3-30212 – Logika Matematika – PB01 – M6 – PROPOSISI MAJEMUK
02:34
CII1B3-30212 – Logika Matematika – PB01 – M7 – PRESEDENS DALAM OPERATOR LOGIKA
03:09
Topic 2: Propositional Logic 2 (Topik 2: Logika Proposisi 2)
0/8
Propositional Logic 2 (Logika Proposisi 2)
00:00
CII1B3-30212 – Logika Matematika – PB02 – M1 – INTERPRETASI DAN ATURAN SEMANTIK
05:00
CII1B3-30212 – Logika Matematika – PB02 – M2 – SIFAT FORMULA LOGIKA PROPOSISI
03:02
CII1B3-30212 – Logika Matematika – PB02 – M3 – CONTOH SIFAT FORMULA LOGIKA PROPOSISI
04:17
CII1B3-30212 – Logika Matematika – PB02 – M4 – KONSEKUENSI LOGIS
03:24
CII1B3-30212 – Logika Matematika – PB02 – M5 – KESETARAAN ATAU EKUIVALENSI
02:49
CII1B3-30212 – Logika Matematika – PB02 – M6 – HUKUM EKUIVALENSI LOGIKA
04:25
CII1B3-30212 – Logika Matematika – PB02 – M7 – CONTOH PENERAPAN HUKUM EKUIVALENSI LOGIKA PROPOSISI
03:32
Topic 3: Propositional Logic 3 (Topik 3: Logika Proposisi 3)
0/8
Propositional Logic 3 (Logika Proposisi 3)
00:00
CII1B3-30212 – Logika Matematika – PB03 – M1 – TRANSLASI BAHASA ALAMI KE LOGIKA PROPOSISI
05:01
CII1B3-30212 – Logika Matematika – PB03 – M2 – CONTOH KONSISTENSI SPESIFIKASI SISTEM
03:55
CII1B3-30212 – Logika Matematika – PB03 – M3 – CONTOH PENERAPAN KONSISTENSI KOLEKSI FORMULA
05:27
CII1B3-30212 – Logika Matematika – PB03 – M4 – INFERENSI DASAR 1
06:26
CII1B3-30212 – Logika Matematika – PB03 – M5 – INFERENSI DASAR 2
07:23
CII1B3-30212 – Logika Matematika – PB03 – M6 – LATIHAN INFERENSI LOGIKA PROPOSISI 1
03:45
CII1B3-30212 – Logika Matematika – PB03 – M7 – LATIHAN INFERENSI LOGIKA PROPOSISI 2
03:52
Memahami Logika Matematika: Dari Dasar Logika Proposisi hingga Tingkat Lanjut
    About Lesson

    Memahami Logika Matematika: Dari Dasar Logika Proposisi hingga Tingkat Lanjut

     

     

     

    Welcome to Topic 2 about Propositional Logic 2. After completing this topic, you are expected to:

    • LO-01: know how to determine the interpretation of compound propositional formulas,
    • LO-02: know the semantics rule of propositonal logic,
    • LO-03: know the properties of propositional logic formulas, such as: validity, satisfiability, contradiction, and contingency,
    • LO-04: know validity proofs using formula schema (supplementary),
    • LO-05: know the relationship between logical consequence and logical equivalence of some propositional formulas,
    • LO-06: know some laws of equivalence for propositional logic.

    Selamat datang di Topik 2 mengenai Logika Proposisi 2. Setelah menyelesaikan topik ini, Anda diharapkan menguasai capaian berikut:

    • LO-01: Mengetahui interpretasi dari suatu formula logika proposisi.
    • LO-02: Mengetahui aturan semantik pada logika proposisi.
    • LO-03: Mengetahui sifat-sifat dari formula logika proposisi di antaranya: sifat keabsahan (validity), sifat keterpenuhan (satisfiability), sifat kontradiksi (contradiction), dan sifat kontingensi (contingency).
    • LO-04: Mengetahui pembuktian keabsahan dari skema formula (suplemen).
    • LO-05: Mengetahui kaitan konsekuensi logis dan kesetaraan (ekuivalensi) dan dari beberapa formula logika.
    • LO-06: Mengetahui hukum-hukum ekuivalensi logika proposisi.

     

     

    Materi kuliah (slides)

    Materi Kuliah Topik 2: Logika Proposisi 2.

    Course Material for Topic 2: Propositional Logic 2.

     

    Tautan Eksternal (External links)

    Previous
    Next