الفرق بين الاستحقاق والتضمين المادي
عندما تستخدم كملف الأسماء ، يستتبع يعني فعل التضمين ، حالة التضمين ، أو أي شيء يستتبعه ، بينما التضمين المادي يعني ضمنيًا كما هو محدد في منطق الافتراض الكلاسيكي ، مما يؤدي إلى حقيقة مثل q vdash p to q ، ليتم قراءتها على أنها 'أي اقتراح على الإطلاق هو شرط كافٍ لقضية حقيقية'.
تحقق من التعاريف الأخرى أدناه للحصول على استتباع و التضمين المادي
-
استتباع عند اسم :
فعل التضمين ، أو حالة الوجود ، أو ما يستتبعه.
أمثلة:
'الاستنتاج لا يعني السببية: إذا كانت مجموعة من الافتراضات تستلزم استنتاجًا ، فهذا لا يعني (بالضرورة) أنها تتسبب في أن يكون هذا الاستنتاج صحيحًا.'
'الحجة تتوقف على [[الاستحقاق]] في حين أن الجملة الشرطية تتوقف على التضمين.
-
التضمين المادي عند اسم (منطق):
ضمنيًا كما هو محدد في منطق الافتراض الكلاسيكي ، يؤدي إلى حقيقة مثل Q vdash P to Q ، ليتم قراءتها على أنها 'أي اقتراح على الإطلاق هو شرط كافٍ لقضية حقيقية'.
أمثلة:
في جدول الحقيقة في الشكل 1 ، يتوافق الصف الأول مع modus ponens ، والصف الأخير يتوافق مع modus tollens ، ويمكن اعتبار الصف الثاني لتمثيل وسيطة غير صالحة (حيث P → Q هي الوسيطة و P هي فرضية أو اقتران المباني) ، ويساعد الصف الثالث على التأكد من أن وسيطة من النموذج P rightarrow Q ، neg P vdash neg Q غير صالحة. '
'' المفارقة التالية (وأيضًا البديهية) للتضمين المادي: يمكن اعتبار P rightarrow (Q rightarrow P) على أنه يعني رتابة الاستنتاج ، أي إذا كانت 'P' صحيحة فلا توجد حقيقة أخرى أو حقيقة جديدة ' يجب أن تكون Q 'قادرة على الظهور مما يعني إبطال حقيقة P ، أي أنه لا يمكن أن يكون الأمر كذلك ، بالنسبة لأي' Q '، أن Q → & not؛ P.'
قارن الكلمات:
جد الفرققارن مع المرادفات والكلمات ذات الصلة:
- الاستنتاج مقابل التضمين المادي
- مادي مشروط مقابل ضمني مادي
- التضمين المادي مقابل التضمين الصارم
- الرابط المنطقي مقابل الضمانات المادية
- الاستنتاج مقابل التضمين المادي