Text
Logika Proposisional
Buku ini berisi tabel kebenaran, proposisi Majemuk, Tautologi, Ekuivalensi Logis, penyederhanaan, strategi pembalikan, tablo semantik, bentuk normal, resolusi, deduksi alami, dan kalkulus deret.
No other version available