---

1. Pengertian Pembuktian Logika

6

📖 Deskripsi

Pembuktian logika adalah proses menunjukkan bahwa suatu pernyataan benar berdasarkan aturan logika dan premis yang telah diketahui.

🧠 Narasi Penjelasan

Dalam informatika, pembuktian digunakan untuk:

• Memastikan kebenaran algoritma
• Memvalidasi sistem
• Menjamin logika program

👉 Pembuktian adalah “alat verifikasi kebenaran”.

---

2. Tujuan Pembuktian Logika

7

📖 Deskripsi

Menentukan validitas suatu pernyataan.

🧠 Narasi Penjelasan

Tujuan:

• Membuktikan kebenaran
• Menolak pernyataan salah
• Menyusun argumen logis

---

3. Struktur Pembuktian

6

📖 Deskripsi

Pembuktian memiliki struktur tertentu.

🧠 Narasi Penjelasan

Struktur:

• Premis
• Langkah logika
• Kesimpulan

👉 Harus sistematis dan valid.

---

4. Metode Pembuktian

6

📖 Deskripsi

Beberapa metode pembuktian.

🧠 Narasi Penjelasan

📊 Tabel:

Metode	Penjelasan
Langsung	Dari premis ke kesimpulan
Tidak langsung	Melalui transformasi
Kontradiksi	Membuktikan salah

---

5. Pembuktian Langsung

8

📖 Deskripsi

Pembuktian langsung dari premis.

🧠 Narasi Penjelasan

Contoh:

• p → q
• p
• ∴ q

👉 Sama dengan Modus Ponens.

---

6. Pembuktian Tidak Langsung

6

📖 Deskripsi

Menggunakan kontraposisi.

🧠 Narasi Penjelasan

• p → q ≡ ¬q → ¬p

👉 Kadang lebih mudah dibuktikan.

---

7. Pembuktian dengan Kontradiksi

7

📖 Deskripsi

Membuktikan dengan asumsi kebalikan.

🧠 Narasi Penjelasan

Langkah:

1. Asumsikan salah
2. Temukan kontradiksi
3. Maka benar

👉 Sangat kuat dalam logika.

---

8. Pembuktian dengan Tabel Kebenaran

6

📖 Deskripsi

Menggunakan tabel kebenaran.

🧠 Narasi Penjelasan

Jika semua hasil benar → terbukti.

---

9. Pembuktian Ekivalensi Logika

7

📖 Deskripsi

Membuktikan dua ekspresi sama.

🧠 Narasi Penjelasan

Contoh:

• p → q ≡ ¬p ∨ q

---

10. Pembuktian dalam Logika Predikat

9

📖 Deskripsi

Pembuktian menggunakan kuantor.

🧠 Narasi Penjelasan

Contoh:

• ∀x P(x)
• → P(a)

---

11. Kesalahan dalam Pembuktian

📖 Deskripsi

Kesalahan umum.

🧠 Narasi Penjelasan

• Salah asumsi
• Langkah tidak valid
• Lompat logika

---

12. Aplikasi Pembuktian dalam Informatika

9

📖 Deskripsi

Digunakan dalam sistem komputer.

🧠 Narasi Penjelasan

• Verifikasi program
• AI reasoning
• Sistem keamanan

---

13. Manfaat Pembuktian Logika

📖 Deskripsi

Keuntungan mempelajari.

🧠 Narasi Penjelasan

• Berpikir kritis
• Validasi sistem
• Analisis algoritma

---

14. Ringkasan Materi

📖 Deskripsi

Inti pembelajaran.

🧠 Narasi Penjelasan

• Pembuktian memastikan kebenaran
• Menggunakan berbagai metode
• Penting dalam informatika

---

15. Kesimpulan

• Pembuktian logika adalah dasar analisis
• Digunakan dalam pemrograman dan sistem
• Membantu berpikir sistematis

---

🎯 Latihan / Diskusi

1. Apa itu pembuktian logika?
2. Jelaskan metode kontradiksi!
3. Kapan menggunakan tabel kebenaran?

---

📝 Tugas

• Buktikan:
  • p → q ≡ ¬p ∨ q
• Gunakan metode:
  • Tabel kebenaran
  • Transformasi logika