Logika pada dasarnya adalah ilmu yang mempelajari dan merumuskan secara sistematis kaidah-kaidah yang mengatur individu untuk bernalar secara valid. Buku ini membahas tentang logika proposisi, tautologi dan ekivalensi logis, aturan inferensial logika, pernyataan berkuantor, dan metode pembuktian dalam matematika. Pembaca yang ingin mempelajari materi secara mendalam dalam buku ini diharapkan m…