1. Pengertian Logika Matematika Lanjutan
8
📖 Deskripsi
Logika matematika lanjutan adalah pengembangan dari logika dasar yang mencakup hubungan antar proposisi yang lebih kompleks seperti implikasi, biimplikasi, dan transformasi logika.
🧠 Narasi Penjelasan
Jika pada tahap dasar kita mempelajari AND, OR, dan NOT, maka pada tahap lanjutan kita mulai:
- Menganalisis hubungan sebab-akibat
- Menyusun argumen logis
- Melakukan pembuktian
👉 Materi ini menjadi dasar untuk analisis algoritma dan kecerdasan buatan.
2. Implikasi (Conditional Statement)
6
📖 Deskripsi
Implikasi adalah pernyataan berbentuk “Jika p maka q”.
🧠 Narasi Penjelasan
Ditulis:
p → q
Makna:
- Jika p benar, maka q harus benar
- Jika p salah, maka pernyataan tetap dianggap benar
👉 Implikasi sering digunakan dalam pemrograman dan logika keputusan.
📊 Tabel Kebenaran:
| p | q | p → q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
3. Biimplikasi (Biconditional)
7
📖 Deskripsi
Biimplikasi adalah hubungan dua arah.
🧠 Narasi Penjelasan
Ditulis:
p ↔ q
Makna:
- p dan q harus sama nilai kebenarannya
👉 Digunakan dalam definisi dan kesetaraan logika.
📊 Tabel Kebenaran:
| p | q | p ↔ q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | T |
4. Konvers, Invers, dan Kontraposisi
7
📖 Deskripsi
Transformasi dari implikasi.
🧠 Narasi Penjelasan
Misal: p → q
| Bentuk | Hasil |
|---|---|
| Konvers | q → p |
| Invers | ¬p → ¬q |
| Kontraposisi | ¬q → ¬p |
👉 Kontraposisi ekuivalen dengan implikasi asli.
5. Ekivalensi Logika Lanjutan
8
📖 Deskripsi
Ekspresi logika yang memiliki nilai sama.
🧠 Narasi Penjelasan
Contoh:
- p → q ≡ ¬p ∨ q
👉 Digunakan untuk menyederhanakan ekspresi.
6. Hukum-Hukum Logika Penting
📖 Deskripsi
Aturan dasar dalam logika matematika.
🧠 Narasi Penjelasan
📊 Tabel Hukum:
| Hukum | Bentuk |
|---|---|
| De Morgan | ¬(p ∧ q) ≡ ¬p ∨ ¬q |
| Identitas | p ∧ T ≡ p |
| Dominasi | p ∨ T ≡ T |
| Negasi | p ∨ ¬p ≡ T |
👉 Digunakan dalam penyederhanaan logika.
7. Tautologi, Kontradiksi, dan Kontingensi
7
📖 Deskripsi
Klasifikasi ekspresi logika.
🧠 Narasi Penjelasan
| Jenis | Penjelasan |
|---|---|
| Tautologi | Selalu benar |
| Kontradiksi | Selalu salah |
| Kontingensi | Bisa benar/salah |
👉 Penting dalam analisis logika.
8. Penyederhanaan Ekspresi Logika
6
📖 Deskripsi
Mengurangi kompleksitas ekspresi.
🧠 Narasi Penjelasan
Menggunakan:
- Hukum logika
- Ekivalensi
👉 Membuat program lebih efisien.
9. Pembuktian Logika
7
📖 Deskripsi
Metode untuk membuktikan kebenaran.
🧠 Narasi Penjelasan
Metode:
- Pembuktian langsung
- Tidak langsung
- Kontradiksi
10. Aplikasi dalam Informatika
7
📖 Deskripsi
Digunakan dalam berbagai bidang komputer.
🧠 Narasi Penjelasan
- Algoritma
- AI
- Database
👉 Menjadi dasar sistem cerdas.
11. Kesalahan Umum
📖 Deskripsi
Kesalahan dalam logika lanjutan.
🧠 Narasi Penjelasan
- Salah memahami implikasi
- Salah transformasi
- Salah tabel kebenaran
12. Manfaat Logika Lanjutan
📖 Deskripsi
Keuntungan mempelajari materi ini.
🧠 Narasi Penjelasan
- Berpikir kritis
- Analisis sistem
- Pengembangan program
13. Ringkasan Materi
📖 Deskripsi
Inti pembelajaran.
🧠 Narasi Penjelasan
- Implikasi dan biimplikasi
- Transformasi logika
- Pembuktian
14. Kesimpulan
- Logika lanjutan memperdalam pemahaman logika
- Digunakan dalam analisis dan pemrograman
- Penting untuk pengembangan sistem
🎯 Latihan / Diskusi
- Jelaskan implikasi dan biimplikasi!
- Apa perbedaan konvers dan kontraposisi?
- Berikan contoh tautologi!
📝 Tugas
- Buat tabel kebenaran p → q
- Ubah ke kontraposisi
- Sederhanakan ekspresi logika
