سهم بيرس (جبر منطقي)

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث

سهم بيرس - هو علاقة ثنائية في الجبر المنطقي على متغيرين , قدمت بواسطة تشارلز بيرس , عام 1880 -1881م . يعبر عن سهم بيرس عادة بالرمز (↓) .

الرمز الرياضي لسهم بيرس
Ugonor.png

أمثلة[عدل]

مثال :


 X \darr X \equiv \neg X نفي
 \left( {X \darr X} \right) \darr \left( {Y \darr Y } \right) \equiv {X  \wedge Y } جمع
\left( {X \darr Y} \right) \darr \left( {X \darr Y} \right) \equiv X \vee Y طرح
 \left( \left( {X \darr X } \right) \darr Y \right) \darr \left( \left( {X \darr X } \right) \darr Y \right) = X \rarr Y импликация

روابط خارجية[عدل]

مصادر[عدل]

أنظر أيضا[عدل]

Wiki letter w.svg هذه بذرة تحتاج للنمو والتحسين، فساهم في إثرائها بالمشاركة في تحريرها.