فصل منطقي

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

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

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

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

عندما يكون من الضروري توضيح ما إذا كان "أو" احتوائيًا أم إقصائيًا، يستخدم المتحدثون باللغة العربية أحيانًا عبارة ""، و"and/or" للمتحدثين بالإنجليزية. من الناحية المنطقية، هذه العبارة مطابقة لعبارة "أو"، ولكنها تجعل احتواء كليهما صائبًا صريحًا.

 التدوين 
في المنطق والمجالات ذات الصلة، يُدوَّن عادةً الفصل باستخدام المؤثر الداخل  (الترميز الموحد ). تشمل التدوينات البديلة ، وتستخدم أساسًا في الإلكترونيات، وكذلك  و في العديد من لغات البرمجة. كما يُستخدم الحرف العربي "أو" في بعض الأحيان أيضًا. في  لِيان ووكاشيفيتش للمنطق، يُرمَز للمؤثر بـ ، وهو اختصار لكلمة alternatywa البولندية الذي يعني "بديل". (1959), A Précis of Mathematical Logic, translated by Otto Bird from the French and German editions, Dordrecht, South Holland: D. Reidel, passim. (بالإنجليزية)

في الرياضيات، يمكن الإشارة إلى فصل عدد عشوائي من العناصر  على شكل  باستخدام ⋁ كبير (الترميز الموحد ):

 الفصل الكلاسيكي 

 الدلاليات 
يعتبر الفصل الكلاسيكي في  عملية  تُعيد قيمة الصواب "صائبة" ما لم تكن كلتا عُمْدَتَيْهَا باطلين. ويعطى مدخلها الدلالي معياريًا على النحو التالي:

   إذا كان    أو    أو  كلاهما

تتوافق هذه الدلالة مع جدول الصواب التالي:

 التعريف بمؤثرات أخرى 
في أنظمة المنطق الكلاسيكي التي لا يكون فيها الفصل المنطقي أصليًا، يمكن تعريفه بدلالة "و" الأصلي () و"ليس" () كما يلي:

  .

يمكن تعريفه بدلًا من ذلك بدلالة "يقتضي" () و"ليس":

  .

ويمكن التحقق من هذا الأخير من خلال جدول الصواب التالي:

يمكن أيضًا تعريفه بدلالة  فقط:

  .

يمكن التحقق من ذلك من خلال جدول الصواب التالي:

 الخصائص 
تنطبق الخصائص التالية على الفصل:

 التجميعية: 
 التبديلية: 
 التوزيعية: 





 الجُمُود: 
 الرتابة: 



 الحفاظ على الصواب: التفسير الذي تُسنَد بموجبه قيمة صواب "صائبة" إلى جميع المتغيرات، ينتج عنه قيمة صواب بـ"صائبة" نتيجةً للفصل.
 الحفاظ على البُطلان: التفسير الذي تُسنَد بموجبه قيمة صواب "باطلة" إلى جميع المتغيرات، ينتج عنه قيمة صواب "باطلة" نتيجةً للفصل.

 انظر أيضًا 

 عطف منطقي

 المراجع 

تصنيف:الدلاليات الشكلية في اللغات الطبيعية
تصنيف:الدلاليات
تصنيف:روابط منطقية