Text
Kalkulus predikat
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.
Tidak tersedia versi lain