العربية  

books general mathematical description for calculating cases

If you do not find what you're looking for, you can use more accurate words.

View more

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


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

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

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

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