Materi buku kalkulus predikat - buku ini merupakan kelanjutan dari buku ke-1 kalkulus proposisional. Seperti diketahui, kalkulus proposisional tidak mampu menyelesaikan semua masalah yang harus diselesaikan, maka dikembangkan kalkulus predikat yang ditujukan untuk menyellesaikan masalah - masalah logika, maka logika juga harus dikembangkan untuk menyelesaikan masalah tersebut.
Buku ini ditujukan untuk mempelajari dasar -dasar logika di bidang komputer atau teknologi informasi. Logika sangat penting mendasari pemahaman algoritma dan pemograman,yang mempergunakan teknik pemograman terstruktur (structured programmaing) maupun pemograman berbasis objek (objec oriented programmaing), yang sekarang menjadi acuan bagi banyak bahasa pemograman,contoh: C + +, Borland Delphi…