DAFTAR ISI

KATA PENGANTAR ........................................................................... i

DAFTAR ISI .......................................................................................... ii
DAFTAR GAMBAR ............................................................................. vi
DAFTAR TABEL .................................................................................. vii
BAB 1 PENGANTAR LOGIKA MATEMATIKA ........................ 1
1.1 Logika Matematika................................................................................ 1
1.2 Bahasa Matematika .............................................................................. 3
1.3 Logika Proposisi ..................................................................................... 4
DAFTAR PUSTAKA........................................................................................ 6
BAB 2 TABEL KEBENARAN, IMPLIKASI DAN APLIKASI . 7
2.1 Pendahuluan............................................................................................. 7
2.2 Tabel Kebenaran .................................................................................... 8
2.3 Operator ..................................................................................................... 11
2.4 Implikasi ..................................................................................................... 11
2.4.1 Contoh implikasi:......................................................................... 12
2.4.2 Tabel Implikasi ............................................................................. 12
2.5 Operator Khusus .................................................................................... 14
DAFTAR PUSTAKA........................................................................................ 16
BAB 3 PROPOSISI MAJEMUK ....................................................... 17
3.1 Pendahuluan............................................................................................. 17
3.2 Ekspresi Logika ....................................................................................... 18
3.2.1 Skema ................................................................................................. 19
3.3 Analisis Proposisi Majemuk............................................................. 21
3.4 Aturan Pengurutan Proposisi Majemuk ................................... 22
3.5 Implementasi Proposisi Majemuk ............................................... 23
DAFTAR PUSTAKA........................................................................................ 28
BAB 4 TAUTOLOGI ............................................................................ 29
4.1 Pendahuluan............................................................................................. 29
4.2 Operasi Logika dalam Proposisi.................................................... 31
4.2.1 Negasi atau penyangkalan ( ) ............................................ 31
................................................................................. 32

ii
 ................................................................................... 32
4.2.4 Im ................................................................................. 33
4.2.5 Bi- ........................................................................... 33
4.3 Tabel Kebenaran .................................................................................... 34
4.4 Tautologi ..................................................................................................... 35
4.5 Kesetaraan Logis .................................................................................... 37
4.6 Konsekuensi Logis................................................................................. 38
4.7 Kontradiksi dan Kontingensi .......................................................... 40
DAFTAR PUSTAKA........................................................................................ 41
BAB 5 VALIDITAS ARGUMEN ....................................................... 43
DAN PENYEDERHANAAN ........................................................................ 43
5.1 Definisi Argumen ................................................................................... 43
5.2 Validitas Argumen ................................................................................. 47
5.2.1 Silogisme .......................................................................................... 48
5.2.2 Modus Ponens ............................................................................... 52
5.2.3 Modus Tollens ............................................................................... 53
5.3 Penyerderhanaan Argumen ............................................................ 54
5.3.1 Operasi Penyederhanaan (Simplifying Operator) ... 55
5.3.2 Operasi Menghilangkan Perangkai Implikasi
dan Biimplikasi Menjadi Perangkai Dasar................... 56
5.3.3 Penggunaan Perangkai Dasar .............................................. 56
5.4 Soal Latihan Mandiri ............................................................................ 57
DAFTAR PUSTAKA........................................................................................ 59
BAB 6 ATURAN INFERENSI............................................................ 61
6.1 Pengantar ................................................................................................... 61
6.2 Aturan Inferensi untuk Logika Proposisional ....................... 62
6.3 Aturan Modus Ponens......................................................................... 64
6.4 Aturan Modus Tollens......................................................................... 65
6.5 Aturan Silogisme Hipotessis............................................................ 66
6.6 Aturan Silogisme disjungtif .............................................................. 67
6.7 Aturan Addisi ........................................................................................... 68
6.8 Aturan Simplikasi .................................................................................. 69
6.9 Aturan Konjungsi ................................................................................... 70

iii
6.10 Aturan Resolusi .................................................................................... 71
DAFTAR PUSTAKA........................................................................................ 72
BAB 7 STRATEGI PEMBALIKAN DAN TABLO
SEMANTIK .......................................................................................... 73
7.1 Strategi Pembalikan ............................................................................. 73
7.1.1 Pendahuluan .................................................................................. 73
7.1.2 Konsistensi ...................................................................................... 73
7.1.3 Operasi strategi pembalikan................................................. 76
7.1.4 Model dan counter model ...................................................... 78
7.2 Tablo Semantik ....................................................................................... 82
DAFTAR PUSTAKA........................................................................................ 86
BAB 8 BENTUK NORMAL ............................................................... 87
8.1 Pendahuluan............................................................................................. 87
8.2 Bentuk Normal Bifurkasi Hopf....................................................... 88
8.3 Conjunctive Normal Form (CNF)............................................... 91
8.4 Konsep Normalisasi dan Anomali Tabel .................................. 91
8.5 Tujuan Normalisasi............................................................................... 97
8.6 Uji Normalitas .......................................................................................... 101
DAFTAR PUSTAKA........................................................................................ 103
BAB 9 PENGANTAR LOGIKA PREDIKAT DAN
KOMPONEN-KOMPONEN SINTAKTIK ..................................... 105
9.1 Pendahuluan............................................................................................. 105
9.2 Komponen Komponen Sintak ........................................................ 106
9.3 Fungsi Predikat ....................................................................................... 107
9.4 Fungsi Proposisi ..................................................................................... 108
9.5 Pengembangan Fungsi Proposisi ................................................. 110
9.6 Variabel Instansiasi............................................................................... 111
9.7 Domain Penafsiran (Universe of Discourse) ........................... 112
DAFTAR PUSTAKA........................................................................................ 116
BAB 10 ALJABAR BOOLEAN ......................................................... 119
10.1 Pendahuluan.......................................................................................... 119
10.2 Dualitas ..................................................................................................... 121
10.3 Fungsi Boolean ..................................................................................... 122

iv
10.4 Peta Karnaugh ...................................................................................... 123
10.4.1 Bentuk Peta Karnaugh........................................................... 124
10.4.2 Penentuan Daerah Minterm dalam Peta Karnaugh126
10.4.3 Penentuan Fungsi Minimal dari Peta Karnaugh..... 128
DAFTAR PUSTAKA........................................................................................ 130
BAB 11 GERBANG LOGIKA.............................................................131
11.1 Aljabar Boolean .................................................................................... 131
11.2 Defenisi Gerbang Logika ................................................................. 131
11.3 Gerbang Logika Dasar (Logic Gate) .......................................... 133
11.3.1 Gerbang AND .............................................................................. 133
11.3.2 Gerbang NOT............................................................................... 134
11.3.3 Gerbang OR .................................................................................. 135
11.3.4 Gerbang NAND........................................................................... 135
11.3.5 Gerbang NOR .............................................................................. 136
11.3.6 Gerbang XOR ............................................................................... 137
11.3.7 Gerbang XNOR ........................................................................... 138
DAFTAR PUSTAKA........................................................................................ 140
BAB 12 SISTEM BILANGAN BINER............................................. 141
12.1 Pengertian Sistem Bilangan Biner............................................. 141
12.2 Fungsi Sistem Bilangan Biner ...................................................... 142
12.3 Cara Kerja Bilangan Biner .............................................................. 144
12.4 Konversi Bilangan Biner ................................................................. 145
12.5 Pengenalan Warna Citra Biner.................................................... 159
DAFTAR PUSTAKA........................................................................................ 160
BIODATA PENULIS