فصل منطقي منفي

قالب:لا مصدر قالب:بطاقة عامة قالب:مصدر مصطلح الفصل المنطقي المنفي - هي علاقة ثنائية في الجبر المنطقي على متغيرين، قدمت بواسطة تشارلز بيرس، عام 1880 -1881م.

وتسمى أيضا سهم بيرس، و يعبر عنها عادة بالرمز (↓) .

الرمز الرياضي لسهم بيرس

أمثلة

$X\downarrow X\equiv \mathrm{\neg }X$ — نفي

$\left(X\downarrow X\right)\downarrow \left(Y\downarrow Y\right)\equiv X\wedge Y$ — عطف منطقي

$\left(X\downarrow Y\right)\downarrow \left(X\downarrow Y\right)\equiv X\vee Y$ — فصل منطقي

$(\left(X\downarrow X\right)\downarrow Y)\downarrow (\left(X\downarrow X\right)\downarrow Y)=X\to Y$ — استتباع منطقي

انظر أيضا

• جبر منطقي
• جبر بولياني

قالب:روابط شقيقة {{#استدعاء:شريط|شريط |اسم= روابط منطقية |عنوان = روابط منطقية شهيرة |وضع = autocollapse |صنف الهيكل = hlist |صورة =

|قائمة1 =

• تحصيل حاصل/صواب $\mathrm{\top }$

|قائمة2 =

• قالب:Ill-WD2
  • بوابة عطف منفي $\uparrow$
• معكوس الاقتضاء $\leftarrow$
• الاقتضاء المنطقي
  • قالب:Ill-WD2 $\to$
• الفصل المنطقي (بوابة فصل) $\vee$

|قائمة3 =

• النفي (بوابة النفي $\mathrm{\neg }$
• قالب:Ill-WD2 (بوابة فصل إقصائي) $\leftrightarrow ̸$
• قالب:Ill-WD2
  • بوابة فصل إقصائي منفي $\leftrightarrow$
• عبارة منطقية
  • قالب:وإو

|قائمة4 =

• فصل منطقي منفي
  • بوابة فصل منطقي منفي $\downarrow$
• قالب:Ill-WD2
  • قالب:Ill-WD2 $\nrightarrow$
• قالب:Ill-WD2 $\nleftarrow$
• العطف المنطقي
  • بوابة عطف $\wedge$

|قائمة5 =

• التناقض/باطل $\mathrm{\perp }$

|أدنى = قالب:بوابة في النسق

}} قالب:شريط بوابات