English  

كتب وصف رياضي عام لحساب قضايا

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

عرض المزيد

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


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

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

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

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