Katalog

Buku Logika Matematika ini secara umum memuat informasi tentang informasi-informasi tentang logika matematika. Buku ini terdiri dari 7 bab, yaitu: (1) logika proporsional, (2) aplikasi logika proposisi, (3) proporsional ekuivalen, (4) predikat dan kuantor, (5) kuantor bersarang, (6) aturan penarikan kesimpulan, dan (7) metode pembuktian. Setiap bab terdiri dari sub-sub bab yang memudahkan dalam mempelajari materi. Setiap akhir bab yang ada dalam buku ini diberikan uji kompetensi. Secara umum setelah membaca buku ini diharapkan para pembaca dapat memahami tentang informasi penting yang berkaitan dengan logika matematika.