Mantıkta, bileşik ve karmaşık önermeleri ve bunların mantıksal ilişkilerini tedavi eden sembolik sistemde Sentential Calculus olarak da adlandırılan önermeler hesabı . Yüklem hesabının aksine, önermeler hesabı atomik birimleri olarak terimler veya isim ifadeleri yerine basit, analiz edilmemiş önermeler kullanır; ve fonksiyonel analizin tersine, sadece değişken içermeyen önermeleri ele alır. Basit (atomik) önermeler harflerle belirtilir ve bileşik (moleküler) önermeler standart semboller kullanılarak oluşturulur: · "ve" için, ∨ "veya" için, “" eğer "için. . . sonra, ”ve ∼" hayır "için.
Bu Konuyla İlgili Daha Fazla Bilgi Edinin biçimsel mantık: Önerme hesabı Mantığın en basit ve en temel dalı, bundan sonra PC olarak anılacak olan önermesel hesaptır, sadece tam, ... Biçimsel bir sistem olarak önerme hesabı, hangi formüllerin (bileşik önerme biçimleri) aksiyomlardan ispatlanabilir olduğunun belirlenmesiyle ilgilenir. Öneriler arasındaki geçerli çıkarımlar kanıtlanabilir formüllerle yansıtılır, çünkü (herhangi bir A ve B için ) A ⊃ B , ancak ve ancak B , A'nın mantıksal bir sonucuysa kanıtlanabilir . Önerme hesabı, içinde formül olmadığı için tutarlıdır. öyle ki hem A hem de ∼ Akanıtlanabilir. Kanıtlanamayan herhangi bir formülün yeni bir aksiyom olarak eklenmesinin bir çelişki getireceği anlamında da tamamlanmıştır. Ayrıca, belirli bir formülün sistemde kanıtlanabilir olup olmadığına karar vermek için etkili bir prosedür mevcuttur. Ayrıca bkz. Yüklemeyi hesaplayın; düşünce, kanunları.
