استكشف روعة فصل منطقي

في المنطق، الفصل المنطقي أو «أو المنطقي» هو رابطة منطقية تُدوَّن عادةً بـ







∨





{\displaystyle \lor }



وتُقرأ بصوت عالٍ على أنه "أو". على سبيل المثال، يمكن تمثيل الجملة العربية "الجو مشمس أو دافئ" في المنطق باستخدام الصيغة المنفصلة







S

∨

W





{\displaystyle S\lor W}



، بافتراض أن







S





{\displaystyle S}



اختصارًا لـ "الجو مشمس" و







W





{\displaystyle W}



اختصارًا لـ "الجو دافئ".

في المنطق الكلاسيكي، يُعطى للفصل دلالات دالّيّة صوابيّة وفقًا لصيغة







ϕ

∨

ψ





{\displaystyle \phi \lor \psi }



صائبة ما لم يكن كل من







ϕ





{\displaystyle \phi }



و







ψ





{\displaystyle \psi }



باطلين. ولأن هذه الدلالة تسمح بأن تكون الصيغة الفصلية صائبة عندما يكون كلا مفصوليها صائبين، فهي تفسير "احتوائي" للفصل، على عكس الفصل الإقصائي. غالبًا ما تُقدَّم المُعالَجات النظرية البرهانية التقليدية من حيث القواعد مثل إدخال الفصل وحذفه. وقد حظي الفصل أيضًا بالعديد من المعالجات غير الكلاسيكية، مدفوعة بمسائل بما في ذلك حجة معركة البحر لأرسطو، ومبدأ عدم اليقين لهايزنبيرغ، فضلاً عن العديد من عدم التطابق بين الفصل الكلاسيكي وأقرب ما يعادله في اللغات الطبيعية.

يسمى العنصر الذي أثَّر فيه الفصل بالمفصول.