Propositional Logic 1 (Logika Proposisi 1)

Open CourseWare Telkom University > Lessons > Propositional Logic 1 (Logika Proposisi 1)
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

Memahami Logika Matematika: Dari Dasar Logika Proposisi hingga Tingkat Lanjut

 

 

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

 

  • LO-01: understand the definition of a proposition
  • LO-02: know several types of propositional operators, such as: unary operator (negation) and binary operators (conjunction, disjunction, exclusive-disjunction (xor), implicaton, and bi-implication)
  • LO-03: understand compound proposition constructed from atomic propositions
  • LO-04: understand the precedence (order of operations) of logical operators
  • LO-05: understand the methods to construct propositional formulas (supplementary).

 

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

  • LO-01: Memahami definisi dari proposisi.
  • LO-02: Mengetahui jenis-jenis operator logika proposisional, di antaranya: operator uner: (negasi) dan operator biner (konjungsi, disjungsi, disjungsi eksklusif (xor), implikasi, dan biimplikasi)
  • LO-03: Memahami proposisi majemuk yang dibentuk dari beberapa proposisi atomik.
  • LO-04: Memahami presedens (urutan pengerjaan) dari operator logika.
  • LO-05: Mengetahui metode pembentukan formula logika proposisi (suplemen).

 

 

Materi kuliah (slides)

Materi Kuliah Topik 1: Logika Proposisi 1.

Course Material for Topic 1: Propositional Logic 1.

 

Tautan Eksternal (External links)

Previous
Next
Secret Link