טבלת אמת – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
מ הגהה |
||
שורה 1:
'''טבלת אמת''' היא [[טבלה]] שמשמשת ב[[לוגיקה בוליאנית]] וב[[אלגברה בוליאנית]] כדי להציג את כל הערכים האפשריים ש[[ביטוי (מתמטיקה)|ביטוי]] מסוים יכול לקבל, בהתאם לערכים האפשריים של מרכיבי הביטוי, וכך לדעת מתי הוא [[תקפות (לוגיקה)|תקף]].
טבלאות אמת מראות את הערכים, קשרים, והתוצאות של ביצוע [[פעולה בוליאנית|פעולות]] על ביטויים לוגיים. הפעולות הלוגיות הנחשבות סטנדרטיות הן ה[[NOT לוגי|שלילה]], הפעולה "[[AND לוגי|וגם]]", הפעולה "[[OR לוגי|או]]", פעולת ה[[
טבלאות האמת הופיעו לראשונה בעבודותיהם של [[גוטלוב פרגה]], [[צ'ארלס פירס]] ואחרים משנות ה-80 של [[המאה ה-19]]. הן הגיעו לצורתן הנוכחית ב-[[1922]] בעבודתם של [[אמיל פוסט]] ו[[לודוויג ויטגנשטיין]].
הן שימושיות במיוחד הן לשם חישוב תוצאותיהם של ביטויים בוליאנים, הן ככלי סמנטי עבור [[תחשיב הפסוקים]], הן ככלי להוכחת [[תקפות (לוגיקה)|תקפותם]] של טיעונים בתחשיב זה.<br /><br />
| |||