حقائق ورؤى حول حساب القضايا

في الرياضيات والمنطق، حساب القضايا (الإنجليزية: propositional calculus) هو نظام تُمثِّل القضايا بربط قضايا ذرية بواسطة روابط منطقية، إضافة إلى نظام للاستدلال والبرهان تُبرهَن به نظريات منطقية.