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