Text
Kalkulus Proposisional
Pokok pembahasan buku ini adalah pembuktian validitas argumen yang digolongkan sebagai kumpulan proposisi-proposisi yang dirangkai menjadi statement-statemen dan secara sistematis disusun berupa argumen yang terdiri dari premis-premis dan kesimpulan. Bahan dasar logika ini adalah proposisi-proposisi, karena itu lah disebut Logika Proposisional.
Tidak tersedia versi lain