לא (לוגיקה) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ הגהה, קישורים פנימיים |
מ ←עריכת ההקדמה: הגהה |
||
שורה 1:
ב[[לוגיקה מתמטית]], '''לא''' או '''שלילה''' הוא [[קשר לוגי]] [[פעולה יונארית|יונארי]] המתאים לכל [[פסוק (לוגיקה)|פסוק]] או [[תבנית (לוגיקה)|תבנית]] את הפסוק או התבנית ההפוכים במובנם וב[[תנאי אמת|תנאי האמת]] שלהם.
ב[[אלגברה בוליאנית]], הקשר מוכר בשם '''NOT''' או '''שלילה''', ומיוצג על ידי [[פעולה בוליאנית]] יונארית שתוצאתה "[[ערך אמת|אמת]]" (true) רק כאשר האופרנד היחיד שלה הוא "שקר" (false).
בתחומים שונים נהוגות דרכים מגוונות לסמן פעולה זו:
{| align=
|
<DIV dir=ltr>
שורה 15 ⟵ 14:
</DIV>
|}
{{-}}
== טבלת אמת ==
[[טבלת אמת|טבלת האמת]] של הפעולה הבוליאנית 'NOT' ושל הקשר 'לא' נתונה בטבלה הבאה:
{| border="1"
| |||