לא (לוגיקה)

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

באלגברה בוליאנית, שהיא אלגברה שעובדת עם ערכי אמת ושקר, הפעולה נקראת NOT או שלילה. זו פעולה בוליאנית אונארית שתוצאתה 'אמת' רק כאשר האופרנד היחיד שלה הוא 'שקר'. אופרנד הוא הערך שעליו פועלת הפעולה.


טבלת האמת של הפעולה מציגה את הקשר בין קלט לתוצאה. בקיצור: אם הקלט הוא 1 (אמת), התוצאה היא 0 (שקר). אם הקלט הוא 0 (שקר), התוצאה היא 1 (אמת). הערכים 1 ו-0 משמשים לייצוג אמת ושקר.


מרבית שפות התכנות כוללות אופרטור שמממש את ה-NOT הלוגי, המשמש בתנאים (IF) ובהשמות. אופרטור זה נכתב בצורות שונות בהתאם לשפה.

'לא' הופך משפט. אם משפט היה אמת, 'לא' עושה אותו שקר. ואם היה שקר, 'לא' עושה אותו אמת.

אלגברה בוליאנית היא דרך לחשוב על אמת ושקר. שם קוראים לפעולה הזאת NOT או שלילה. אופרנד זה הערך שעליו פועלת הפעולה.


טבלת אמת מראה את הקלט ואת התוצאה. אם הקלט הוא 1, התוצאה היא 0. אם הקלט הוא 0, התוצאה היא 1. 1 זה אמת. 0 זה שקר.


בשפות תכנות יש סימן שעושה 'לא'. משתמשים בו בתנאים כדי לבדוק דבר אחד ולהפוך אותו.