You are on page 1of 1

-Pengenalan Logika matematika

-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

You might also like