4 תשובות
לא
בלוגיקה מתמטית, לא או שלילה הוא קשר לוגי אונארי המתאים לכל פסוק או תבנית את הפסוק או התבנית ההפוכים במובנם ובתנאי האמת שלהם. 'לא' הוא אחד משני הקשרים הבסיסיים עליהם בנויה הלוגיקה הפורמלית (השני הוא אם-אז).
באלגברה בוליאנית, הקשר מוכר בשם not או שלילה, ומיוצג על ידי פעולה בוליאנית אונארית שתוצאתה "אמת" (true) רק כאשר האופרנד היחיד שלה הוא "שקר" (false).
בתחומים שונים נהוגות דרכים מגוונות לסמן פעולה זו:
p
~p
p
not p
!p
טבלת אמת
טבלת האמת של הפעולה הבוליאנית 'not' ושל הקשר 'לא' נתונה בטבלה הבאה:
קלט תוצאה
0 1
1 0
(כאשר 1 מייצג אמת, ו-0 מייצג שקר).
שפות תכנות
במרבית שפות התכנות קיים אופרטור למימוש not לוגי בביטויים לוגיים, המשמשים בפקודת if ובפקודת השמה. הצורות המקובלות לכתיבת אופרטור זה:
not: בשפות cobol, visual basic
not: בשפת python
: בשפת pl/i
!: בשפת c ובשפות הנובעות ממנה
ראו גם
לוגיקה
אלגברה בוליאנית
תחשיב הפסוקים
פעולות בוליאניות
not or and nor nand xor xnor
ראו גם: קשר לוגי טבלת אמת שער לוגי
קישורים חיצוניים
ויקישיתוף מדיה וקבצים בנושא לא בוויקישיתוף
בלוגיקה מתמטית, לא או שלילה הוא קשר לוגי אונארי המתאים לכל פסוק או תבנית את הפסוק או התבנית ההפוכים במובנם ובתנאי האמת שלהם. 'לא' הוא אחד משני הקשרים הבסיסיים עליהם בנויה הלוגיקה הפורמלית (השני הוא אם-אז).
באלגברה בוליאנית, הקשר מוכר בשם not או שלילה, ומיוצג על ידי פעולה בוליאנית אונארית שתוצאתה "אמת" (true) רק כאשר האופרנד היחיד שלה הוא "שקר" (false).
בתחומים שונים נהוגות דרכים מגוונות לסמן פעולה זו:
p
~p
p
not p
!p
טבלת אמת
טבלת האמת של הפעולה הבוליאנית 'not' ושל הקשר 'לא' נתונה בטבלה הבאה:
קלט תוצאה
0 1
1 0
(כאשר 1 מייצג אמת, ו-0 מייצג שקר).
שפות תכנות
במרבית שפות התכנות קיים אופרטור למימוש not לוגי בביטויים לוגיים, המשמשים בפקודת if ובפקודת השמה. הצורות המקובלות לכתיבת אופרטור זה:
not: בשפות cobol, visual basic
not: בשפת python
: בשפת pl/i
!: בשפת c ובשפות הנובעות ממנה
ראו גם
לוגיקה
אלגברה בוליאנית
תחשיב הפסוקים
פעולות בוליאניות
not or and nor nand xor xnor
ראו גם: קשר לוגי טבלת אמת שער לוגי
קישורים חיצוניים
ויקישיתוף מדיה וקבצים בנושא לא בוויקישיתוף
לא
לא
לא
באותו הנושא: