Professional Documents
Culture Documents
-logika proposional
-Tabel Kebenaran
-Tautologi
-ekuivalen logis
-Aturan subtitusi dalam sebuah kalimat
-Bentuk normal kalimat
-Resolusi
-Deduksi Alami
-Kuantor-kuantor
-Menegasikan kalimat berkuantor
-Pembuktian validitas kalimat berkuantor
-Derivasi
-ekuivalen logis untuk logika predikat