DAFTAR ISI
BAB 1 : DASAR-DASAR LOGIKA | ||
1.1 | Pengertian Umum Logika | |
1.2 | Logika dan Pernyataan | |
1.2.1 Logika | ||
1.2.2 Pernyataan (Proposisi) | ||
1.2.3 Penghubung Kalimat Dan Tabel Kebenaran | ||
1.2.4 Ingkaran (Negasi) Suatu Pernyataan | ||
1.3 | Tautologi dan Kontradiksi | |
1.4 | Konvers, Invers, dan Kontraposisi. | |
1.5 | Inferensi Logika | |
1.6 | Soal Latihan | |
BAB 2 : KALIMAT BERKUANTOR | ||
2.1 | Predikat dan Kalimat Berkuantor | |
2.2 | Kuantor Universal dan Kuantor Eksistensial | |
2.3 | Ingkaran Kalimat Berkuantor | |
2.4 | Kalimat Berkuantor Ganda | |
2.5 | Soal Latihan | |
BAB 3 : ALJABAR BOOLE | ||
3.1 | Aljabar Boole Sebagai Suatu Struktur Aljabar | |
3.2 | Fungsi Boolean | |
3.3 | Ekspresi Boole | |
3.4 | Bentuk Normal Disjunctive | |
3.5 | Rangkaian Logika | |
3.6 | Soal Latihan | |
BAB 4 : METODE PEMBUKTIAN | ||
4.1 | Petunjuk Umum Pembuktian | |
4.2 | Metode Pembuktian Langsung | |
4.3 | Metode Pembuktian Tak Langsung | |
4.3.1 Pembuktian Dengan Kontradiksi | ||
4.3.2 Pembuktian Dengan Kontraposisi | ||
4.4 | Soal Latihan | |
No comments:
Post a Comment