مقدمة عن الانفصال
| يكتب | قاعدة الاستدلال |
|---|---|
| مجال | حساب القضايا |
| إفادة | إذا كان صحيحًا، فيجب أن يكون صحيحًا. |
| بيان رمزي |
| قواعد التحويل |
|---|
| حساب القضايا |
| قواعد الاستدلال |
| قواعد الاستبدال |
| منطق المسند |
| قواعد الاستدلال |
مقدمة أو إضافة الانفصال (وتسمى أيضًا أو مقدمة ) [1] [2] [3] هي قاعدة استدلال للمنطق القياسي وكل نظام استنتاجي آخر تقريبًا . تجعل القاعدة من الممكن تقديم الانفصالات إلى البراهين المنطقية . إنه الاستدلال على أنه إذا كانت P صحيحة، فيجب أن تكون P أو Q صحيحة.
مثال باللغة الإنجليزية :
- سقراط رجل.
- ولذلك فإن سقراط هو رجل أو خنازير تطير في تشكيل فوق القناة الإنجليزية.
يمكن التعبير عن القاعدة على النحو التالي:
حيث أن القاعدة هي أنه عندما تظهر حالات " " على أسطر الإثبات، فيمكن وضع " " على سطر لاحق.
وبشكل عام، فهي أيضًا شكل حجة صحيحة بسيطة ، وهذا يعني أنه إذا كانت المقدمة صحيحة، فإن النتيجة تكون صحيحة أيضًا كما يجب أن تكون أي قاعدة من قواعد الاستدلال، واستنتاج فوري ، حيث تحتوي على قضية واحدة في مقدماتها.
إن إدخال الانفصال ليس قاعدة في بعض المنطق غير المتسق لأنه عند دمجه مع قواعد أخرى للمنطق فإنه يؤدي إلى الانفجار (أي أن كل شيء يصبح قابلاً للإثبات) ويحاول المنطق غير المتسق تجنب الانفجار والقدرة على التفكير في التناقضات. أحد الحلول هو إدخال الانفصال مع أكثر من قاعدة. انظر المنطق غير المتسق § المقايضات .
التدوين الرسمي
يمكن كتابة قاعدة تقديم الانفصال بالتدوين المتسلسل :
أين هو رمز ميتالوجي يعني أنه نتيجة نحوية في بعض الأنظمة المنطقية ؛
ويتم التعبير عنها كتكرار وظيفي للحقيقة أو نظرية المنطق القياسي:
حيث و هي مقترحات يتم التعبير عنها في بعض الأنظمة الرسمية .
مراجع
- ^ هيرلي، باتريك ج. (2014). مقدمة موجزة للمنطق (الطبعة الثانية عشرة). سينجاج. ص 401-402، 707. رقم ISBN 978-1-285-19654-1.
- ^ مور، بروك نويل؛ باركر، ريتشارد (2015). "الحجج الاستنتاجية الجزء الثاني: المنطق الوظيفي الحقيقي" . التفكير النقدي (الطبعة الحادية عشرة). نيويورك: ماكجرو هيل. ص 311. ISBN 978-0-07-811914-9.
- ^ كوبي، إيرفينج م.؛ كوهين، كارل؛ ماكماهون، كينيث (2014). مقدمة في المنطق (الطبعة الرابعة عشرة). بيرسون. ص 370، 618. رقم ISBN 978-1-292-02482-0.
