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

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث
احتذر هذه المقالة بها مصطلحات غير موثقة يجب إضافة مصدرها العربي وإلا لا يؤخذ بها.
يمكنك تصحيح أي مصطلح، أو إضافة مصدر جيد بالضغط على رمز الكتاب في شريط التحرير.

سهم بيرس - هو علاقة ثنائية في الجبر المنطقي على متغيرين , قدمت بواسطة تشارلز بيرس , عام 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 импликация

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

مصادر[عدل]

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

Midori Extension.svg هذه بذرة مقالة بحاجة للتوسيع. شارك في تحريرها.