عطف منطقي

تعريف

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

في هذا الإطار، في ، العطف المنطقي هو عملية على قيمتين منطقيتين، عادةً قيمتَيْ قضيتين، والتي تنتج قيمة "صائبة" إذا وفقط إذا كان كلا مؤثَّر فيهما صائبين.

تعريف بمؤثرات أخرى

في هذا الإطار، في المنظومات التي لا يكون فيها العطف المنطقي أصليًا، يمكن تعريفه على هذا الشكل:

من جهة ثانية، يمكن التحقق من ذلك من خلال جدول الصواب التالي (قارن العمودين الأخيرين):

أو

• يمكن التحقق من ذلك من خلال جدول الصواب التالي (قارن العمودين الأخيرين):
• انظر كذلك
• فصل منطقي

التدوين

في هذا الإطار، يُشار إلى "و" عادة بمؤثر داخل: في الرياضيات والمنطق، يُشار إليه باستخدام "إسفين" (الترميز الموحد ) أو أو ، و في الإلكترونيات، و& أو &&, أو and في لغات البرمجة. يُرمَز للمؤثر بـ في لِيان ووكاشيفيتش (من البولندية koniunkcja بمعنى العطف).

وعلى صعيد آخر، في الرياضيات، عطف عدد كيفي من العناصر يمكن الإشارة إليه على شكل باستخدام "إسفين كبير" ⋀ (الترميز الموحد ):

جدول الصواب

جدول الصواب لـ :