Pernyataan dan Kalimat LogikaNilai Kebenaran Pernyataan Operasi Logika Dasar (Logika Proposisional) Tabel Kebenaran Implikasi dan Konversenya Ekuivalensi Logika dan Kalimat Setara Argumen Valid dan Pembuktian Logis Kuantor dalam Logika Matematika Logika dalam Pemrograman dan Algoritma