Kalkulus cadangan , juga disebut Sentential Calculus , dalam logik, sistem simbolik untuk merawat cadangan kompaun dan kompleks dan hubungan logiknya. Berbanding dengan kalkulus predikat, kalkulus proposisional menggunakan proposisi yang mudah dan tidak dianalisis daripada istilah atau ungkapan kata benda sebagai unit atomnya; dan, berbanding dengan kalkulus fungsional, ia hanya memperlakukan cadangan yang tidak mengandungi pemboleh ubah. Proposisi sederhana (atom) dilambangkan dengan huruf, dan proposisi majmuk (molekul) dibentuk menggunakan simbol standard: · untuk "dan," ∨ untuk "atau," ⊃ untuk "jika. . . kemudian, "dan ∼ untuk" tidak. "
Baca Lebih Lanjut mengenai Logik formal Topik ini: Kalkulus proposisi Cabang logik yang paling mudah dan paling asas adalah kalkulus proposisional, yang selanjutnya dinamakan PC, dinamakan begitu kerana ia hanya berkaitan dengan ... Sebagai sistem formal kalkulus proposisional berkaitan dengan menentukan formula mana (bentuk proposisi majmuk) yang dapat dibuktikan dari aksioma. Kesimpulan yang sah di antara proposisi dicerminkan oleh formula yang dapat dibuktikan, kerana (untuk mana-mana A dan B ) A ⊃ B dapat dibuktikan jika dan hanya jika B selalu menjadi akibat logik dari A. Kalkulus cadangan adalah konsisten kerana tidak ada formula di dalamnya supaya kedua-dua A dan ∼ Aboleh dibuktikan. Ini juga lengkap dalam arti bahawa penambahan formula yang tidak dapat dibuktikan sebagai aksioma baru akan menimbulkan kontradiksi. Selanjutnya, ada prosedur yang berkesan untuk memutuskan apakah formula yang diberikan dapat dibuktikan dalam sistem. Lihat juga predikat kalkulus; pemikiran, undang-undang.
