English  

كتب general mathematical description for calculating cases

اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.

عرض المزيد

وصف رياضي عام لحساب قضايا (معلومة)


حساب القضايا هو نظام ل حيث ل = {أ، ج، ز، ي} و:

  • أ هي مجموعة منتهية من الرموز المنطقية (أو المتغيرات المنطقية). تمثل هذه المجموعة القضايا الذرية ويرمز لها عادة بـ: س، ع، ص...
  • ج هي مجموعة من الروابط المنطقية. يتمّ أحيانا تقسيم المجموعة ج إلى مجموعات جزئية بحيث يكون:
    • ج = ج0 ∪ ج1 ∪ ج2 ∪..

عادة تحتوي كل مجموعة على الروابط المنطقية التي تأخذ عددا معينا من الرموز المنطقية، فيكون:

    • ج0 = {1، 0} (تعتبر الصحة والخطأ روابطا منطقية).
    • ج1 = {¬}
    • ج2 = {∧، ∨، ←، ↔}
  • ز هي مجموعة قواعد التحويل أو قواعد الاستنتاج.
  • ي هي مجموعة النقاط الأساسية التي تسمى بديهيات.
المصدر: wikipedia.org