حساب القضايا هو نظام ل حيث ل = {أ، ج، ز، ي} و:
- أ هي مجموعة منتهية من الرموز المنطقية (أو المتغيرات المنطقية). تمثل هذه المجموعة القضايا الذرية ويرمز لها عادة بـ: س، ع، ص...
- ج هي مجموعة من الروابط المنطقية. يتمّ أحيانا تقسيم المجموعة ج إلى مجموعات جزئية بحيث يكون:
عادة تحتوي كل مجموعة على الروابط المنطقية التي تأخذ عددا معينا من الرموز المنطقية، فيكون:
- ج0 = {1، 0} (تعتبر الصحة والخطأ روابطا منطقية).
- ج1 = {¬}
- ج2 = {∧، ∨، ←، ↔}
- ز هي مجموعة قواعد التحويل أو قواعد الاستنتاج.
- ي هي مجموعة النقاط الأساسية التي تسمى بديهيات.
المصدر: wikipedia.org