CATEGORY

Buku ini terdiri dari 4 bab, konsep dasar, logika proposional, logika firstorder dan aljabar boolean. Pada bab konsep dasar dibahas konsep-konsep dasar matematika yang diperlukan dan dijadikan dasr pada bab-bab selanjutnya yaitu himpunan, fungsi, dan relasi. Pada bab kedua dibahas logika proporsional yang merupakan fondasi inti dalam berlogika. pembahasan dititikberatkan pada penalaran logis baik secara formal maupun secara naratif, sehingga dapat melakukan Verifikasi keabsahan atau kevalidan suatu argumentasi. Pada akhir bab ini penilis mengajak pembaca untuk menganalisis kesalahan-kesalahan yang umum dilakukan dalam berargumentasi. akan tetapi karena keterbatasan logika proporsional dalam pemecahan masalah tertentu, diperlukan perluasan kerangka berfikir dari logika proporsional. Oleh karenanya pada bab ketiga dilakukan pembahasan mengenai logika first-order yang secara umum dikenal sebagai kalkulus predikat.