לא (לוגיקה)

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

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

בתחומים שונים נהוגות דרכים מגוונות לסמן פעולה זו:

טבלת אמת

טבלת האמתשל הפעולה הבוליאנית 'NOT' ושל הקשר 'לא' נתונה בטבלה הבאה:

קלט	תוצאה
0	1
1	0

(כאשר 1 מייצג אמת, ו-0 מייצג שקר).

במרביתשפות התכנותקיים אופרטור למימוש NOT לוגי בביטויים לוגיים, המשמשים בפקודת IFובפקודת השמה.הצורות המקובלות לכתיבת אופרטור זה:

מדיה וקבצים בנושאלאבוויקישיתוף