![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/1/1c/Zellweger-WBH-Truth_Matrix.jpg/640px-Zellweger-WBH-Truth_Matrix.jpg&w=640&q=50)
حساب گزارهای
From Wikipedia, the free encyclopedia
حساب گزارهها یا حساب گزارهای (به انگلیسی: Propositional calculus) سامانهای است صوری (Formal) که به نمایش مواد و اصول منطق گزارهای میپردازد. گزارهها و ترکیب آن با ادوات منطقی شکل میگیرد. گزارههای مورد توجه منطق گزارهها فقط گزارههای خبریست. در منطق کلاسیک یا منطق دو ارزشی، گزارهها دارای دو ارزش درست یا نادرست هستند.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1c/Zellweger-WBH-Truth_Matrix.jpg/640px-Zellweger-WBH-Truth_Matrix.jpg)
تذکر: بعضی منطقدانها منطق گزارهها را منطق جملهها خواندند، ولی، به نظر میرسد با توجه به تفاوت زبانی گزاره و جمله و اینکه گزاره، فقط به جملهٔ خبری گفته میشود، عبارت منطق گزارهها صحیحتر است.