هذه المقالة يتيمة. ساعد بإضافة وصلة إليها في مقالة متعلقة بها

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

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث
Ambox warning pn.svg
هذه المقالة بها مصطلحات معربة غير موثقة يجب إضافة مصدرها العربي وإلا لا يؤخذ بها. فضلًا صحّح أي مصطلح خاطئ، وأضف المصدر العربي الموثوق الذي يدعمه. (أكتوبر 2015)

سهم بيرس - هو علاقة ثنائية في الجبر المنطقي على متغيرين , قدمت بواسطة تشارلز بيرس , عام 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
هذه بذرة مقالة بحاجة للتوسيع. شارك في تحريرها.