Pembelajaran Kalkulus Proposisi

Kalkulus Proposisi (Propositional Calculus) adalah suatu metode yang digunakan untuk menghitung nilai kebenaran dari proposisi, sedangkan proposisi adalah pernyataan yang dapat ditentukan nilai kebenarannya (benar atau salah).

Suatu proposisi terdiri dari operand – operand yang biasanya diwakili oleh huruf – huruf dalam abjad dan operator – operator yang memiliki aturan nilai kebenarannya masing – masing. Nilai kebenaran dari suatu proposisi tergantung kepada operator – operator yang terdapat dalam proposisi dan nilai masing – masing operand. Semakin banyak jumlah operand dan operator dalam suatu proposisi, maka proses pencarian nilai kebenaran dari proposisi tersebut akan semakin rumit. Kalkulus proposisi dapat digunakan untuk menentukan apakah sebuah kalimat adalah valid atau kontradiktif, dan apakah dua buah kalimat merupakan kalimat – kalimat yang ekivalen satu dengan lainnya.

DOWNLOAD