كتب مثال نظام الاستنتاج الطبيعي
اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
# مصطلح الإستنتاج
# مقدمة في الإحصاء والإستنتاج الإحصائي
# النطق الرياضي والاستنتاج
# الفرق بين الإستقراء والإستنتاج
# علم الملاحظة والاستنتاج
# التحليل والقدرة على الاستنتاج
# مهام الاستنتاج
# محرك الاستنتاج
# أمثلة للمد الطبيعي
# علم الاستنتاج
# الفرق بين الملاحظة والاستنتاج
# برهان بالاستنتاج
# نظرية الاستنتاج
# الاستنتاج البديل والدفن
# انتقاد اختبارات الاستنتاج اللفظي
# أساليبه في الاستنتاج
# الاستنتاج الهولمزي
# الاستنتاج والتصديقات
# التفكير والاستنتاج
# أساسيات الاستنتاج الإحصائي
عرض المزيد
المصدر: wikipedia.org
مثال: نظام الاستنتاج الطبيعي (معلومة)
نظام الاستنتاج الطبيعي من أشهر أنظمة حساب القضايا لبساطته وسهولة الاستنتاج به. نفرض أن ل = {أ، ج، ز، ي} حيث:
- المجموعة أ تحتوي على عدد محدود من الرموز التي يمكننا بها كتابة مثالنا، مثلا: أ = {س، ع، ص، د، م، ن}.
- المجموعة ج = ج1 ∪ ج2، و:
- ج1 = {¬}
- ج2 = {∧، ∨، ←، ↔}
- مجموعة البديهيات الأولية ي فارغة.
- مجموعة قواعد الاستنتاج تحتوي على عشر قواعد، كلها لا تتطلب افتراضات ما عدا القاعدة العاشرة. القواعد هي:
- قاعدة التضاد (Reductio ad absurdum) : من س ← ع، س ← ¬ ع نستنتج ¬ س.
- قاعدة ازالة النفي المضاعف (Double negative elimination): من ¬¬ س نستنتج س.
- قاعدة الوصل (Conjunction introduction): من س وع نستنتج س ∧ ع.
- قاعدة ازالة الوصل (Conjunction elimination): من س ∧ ع نستنتج س.
- قاعدة الفصل (Conjunction introduction): من س نستنتج أن س ∨ ع.
- قاعدة ازالة الفصل (Conjunction elimination): من س ∨ ع، س ← ص وع ← ص نستنتج ص.
- قاعدة التكافؤ (Biconditional introduction): من س ← ع وع ← س نستنتج س ↔ ع.
- قاعدة إزالة التكافؤ (Biconditional elimination): من س ↔ ع نستنتج س ← ع وع ← س.
- قاعدة الاستلزام (Modus ponens): من س وس ← ع نستنتج ع.
- قاعدة البرهان الشرطي (Conditional proof): إذا أمكننا برهان ع بفرض س، نستنتج أن س ← ع.
