حساب القضايا

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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.