לא (לוגיקה) – הבדלי גרסאות

ב[[לוגיקה מתמטית]], '''לא''' או '''שלילה''' הוא [[קשר לוגי]] [[פעולה יונאריתאונארית|יונאריאונארי]] המתאים לכל [[פסוק (לוגיקה)|פסוק]] או [[תבנית (לוגיקה)|תבנית]] את הפסוק או התבנית ההפוכים במובנם וב[[תנאי אמת|תנאי האמת]] שלהם. 'לא' הוא אחד משני הקשרים הבסיסיים עליהם בנויה הלוגיקה הפורמלית (השני הוא [[אם-אז]]).

ב[[אלגברה בוליאנית]], הקשר מוכר בשם '''NOT''' או '''שלילה''', ומיוצג על ידי [[פעולה בוליאנית]] יונאריתאונארית שתוצאתה "[[ערך אמת|אמת]]" (true) רק כאשר האופרנד היחיד שלה הוא "שקר" (false).