عطف منطقي

العطف المنطقي

AND
مخطط فن لالعطف المنطقي
التعريف	$xy$
جدول الحقيقة	$(1000)$
بوابة منطقية
نماذج نظامية
فصلي	$xy$
عطفي	$xy$
كثير حدود جيغالكين ‏	$xy$
امتداد شبيكة بوست
الحفاظ على 0	Y
الحفاظ على 1	Y
الرتابة
التآلف
الثِّنْوِيَّة الذاتية

مخطط فن لـ $A\wedge B\land C$

في المنطق والرياضيات واللسانيات، "و" ($\wedge$) هو المؤثر الدالي الصوابي للعَطْف (أو الوَصْل) أو العطف/الوصل المنطقي. تُمثَّل الرابطة المنطقية لهذا المؤثر عادةً على شكل $\wedge$ أو $\&$ أو $K$ (البادئة) أو $\times$ أو $\cdot$ وفيها $\wedge$ هو الأحدث والأكثر استخدامًا.

تكون "و" لمجموعة من الموثر فيها (القضايا) صائبة إذا وفقط إذا كانت جميع المؤثر فيها الخاصة بها صائبة، أي $A\land B$ صحيح إذا وفقط إذا $A$ صائب و $B$ هذا صائب.

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

وبعيدًا عن المنطق، يشير مصطلح "العطف" أيضًا إلى مفاهيم مماثلة في مجالات أخرى:

• في اللغة الطبيعية، الدلالة الذاتية التعبيرات مثل "و" العربية؛
• في لغات البرمجة، الدارة القصيرة وبنية التحكم؛
• في نظرية المجموعات، التقاطع.
• في نظرية الشَّبِيكات، العطف المنطقي (الحد الأعلى الأعظم).

التدوين

يُشار إلى "و" عادة بمؤثر داخل: في الرياضيات والمنطق، يُشار إليه باستخدام "إسفين" $\wedge$ (الترميز الموحد U+2227 ∧ LOGICAL AND) أو $\&$ أو $\times$، و $\cdot$ في الإلكترونيات، و& أو &&, أو and في لغات البرمجة. يُرمَز للمؤثر بـ $K$ في التدوين البولندي للمنطق لِيان ووكاشيفيتش (من البولندية koniunkcja بمعنى العطف).

في الرياضيات، عطف عدد كيفي من العناصر $a_{1},\ldots ,a_{n}$ يمكن الإشارة إليه على شكل عملية اثنانية متكررة باستخدام "إسفين كبير" ⋀ (الترميز الموحد U+22C0 ⋀ N-ARY LOGICAL AND):

$\bigwedge _{i=1}^{n}a_{i}=a_{1}\wedge a_{2}\wedge \ldots a_{n-1}\wedge a_{n}$

تعريف

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

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

جدول الصواب

عُطُوف العُمَد على اليسار — البِتات الصائبة تشكل مثلث سيربينسكي.

جدول الصواب لـ $A\land B$:

$A\land B$	$B$	$A$
F	F	F
F	T	F
F	F	T
T	T	T

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

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

$A\land B=\neg (A\to \neg B)$

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

$A\land B$	$\neg (A\rightarrow \neg B)$	$A\rightarrow \neg B$	$\neg B$	$B$	$A$
F	F	T	T	F	F
F	F	T	F	T	F
F	F	T	T	F	T
T	T	F	F	T	T

أو

$A\land B=\neg (\neg A\lor \neg B)$

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

$A\land B$	$\neg (\neg A\lor \neg B)$	$\neg A\lor \neg B$	$\neg B$	$\neg A$	$B$	$A$
F	F	T	T	T	F	F
F	F	T	F	T	T	F
F	F	T	T	F	F	T
T	T	F	F	F	T	T

انظر أيضًا

• فصل منطقي