Propositional Logic 3 (Logika Proposisi 3)

Open CourseWare Telkom University > Lessons > Propositional Logic 3 (Logika Proposisi 3)
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 3 about Propositional Logic 3. After completing this topic, you are expected to be able to

  • LO-01: translate a simple natural language sentence into its corresponding propositional formula,
  • LO-02: determine the consistency of a system specification,
  • LO-03: determine the validity of an argument in propositional calculus inference,
  • LO-04: perform elementary inference in propositional logic.

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

 

 

  • LO-01: Mentranslasikan kalimat sederhana dalam bahasa alami ke formula logika proposisi yang bersesuaian.
  • LO-02: Menentukan konsistensi dari suatu spesifikasi sistem sederhana.
  • LO-03: Menentukan validitas argumen dalam inferensi kalkulus proposisi.
  • LO-04: Melakukan inferensi sederhana dalam kalkulus proposisi.

 

 

Materi kuliah (slides)

Materi Kuliah Topik 3: Logika Proposisi 3.

Course Material for Topic 3: Propositional Logic 3.

 

Tautan Eksternal (External links)

Previous
Next
Secret Link