טבלת אמת

טבלת אמת היא טבלה שמשמשת בלוגיקה בוליאנית ובתחשיב הפסוקים כדי להציג את כל הערכים האפשריים שביטוי מסוים יכול לקבל, בהתאם לערכים האפשריים של מרכיבי הביטוי, והיא מאפשרת לדעת מתי טיעון הוא תקף. 

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

טבלאות האמת הופיעו לראשונה בעבודותיהם של גוטלוב פרגה, צ'ארלס פרס ואחרים משנות ה-80 של המאה ה-19. הן הגיעו לצורתן הנוכחית ב-1922 בעבודתם של אמיל פוסט ולודוויג ויטגנשטיין.

הן שימושיות במיוחד הן לשם חישוב תוצאותיהם של ביטויים בוליאניים, הן ככלי סמנטי עבור תחשיב הפסוקים, הן ככלי להוכחת תקפותם של טיעונים בתחשיב זה.

טבלאות אמת בסמנטיקה של תחשיב הפסוקים
במסגרת הסמנטיקה של  תחשיב הפסוקים, כל פסוק יסודי יכול לקבל אחד משני ערכי אמת: "אמת" או "שקר", ובלבד שהוא מקבל את אותו ערך בכל הופעה שלו באותו טיעון. כל קשר לוגי מובן כפונקציית-אמת, דהיינו עבור כל צירוף של ערכי אמת, מחזיר הקשר ערך אמת אחד ויחיד. לדוגמה, השלילה מחזירה פסוק שקרי עבור כל פסוק אמיתי אליו היא מקושרת, ומחזירה פסוק אמיתי עבור כל פסוק שקרי. נוח לייצג פונקציות אמת באמצעות טבלת אמת, בהן T ו-F מייצגים את הערכים אמת ושקר, בהתאמה. בטורים הימניים של הטבלה אנו ממצים את כלל הצירופים האפשריים של ערכי האמת הניתנים לפסוקים היסודיים, ובטורים השמאליים אנו מציגים את ערך האמת המתקבל עבור הפסוק המורכב:

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

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

השמש זורחת וגם אם האגם קפוא הברווזים עפים
אם השמש זורחת האגם אינו קפוא
מסקנה: הברווזים לא עפים

תחילה יוצרנו הפסוקים האטומים על פי הלקסיקון הבא:
: השמש זורחת
: האגם קפוא
: הברווזים עפים

הטיעון המוצרן נכתב כך:

מסקנה: 

וטבלת האמת שלו היא:

על פי ההצבה של שורה 3 בטבלה, ברור ששתי ההנחות אמיתיות אבל המסקנה שקרית. זו מהווה דוגמה נגדית, ועל כן הטיעון אינו תקף.

טבלאות אמת לחישוב תוצאותיהם של ביטויים בוליאניים 
לשם חישוב תוצאותיהם של ביטויים באלגברה בוליאנית, ניתן להשתמש בטבלאות אמת בהן הערכים מיוצגים על ידי 0 ו-1. לדוגמה:

והרי דוגמה לטבלת אמת המראה תוצאה של ביטויים מורכב יותר:

קישורים חיצוניים

ערכים שבהם תבנית בריטניקה אינה מתאימה
לוגיקה
לוגיקה בוליאנית
לוגיקה מתמטית
מעגלים ספרתיים
לודוויג ויטגנשטיין