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

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

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

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

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

טבלת האמת של שלילה ${\displaystyle \neg P}$ ${\displaystyle P}$ T F F T

טבלת האמת של הקוניונקציה ${\displaystyle P\land Q}$ ${\displaystyle Q}$ ${\displaystyle P}$ T T T F F T F T F F F F

טבלת האמת של הדיסיונקציה ${\displaystyle P\lor Q}$ ${\displaystyle Q}$ ${\displaystyle P}$ T T T T F T T T F F F F

טבלת האמת של התנאי ${\displaystyle P\to Q}$ ${\displaystyle Q}$ ${\displaystyle P}$ T T T F F T T T F T F F

טבלת האמת של התנאי הכפול ${\displaystyle P\leftrightarrow Q}$ ${\displaystyle Q}$ ${\displaystyle P}$ T T T F F T F T F T F F

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

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

1. השמש זורחת וגם אם האגם קפוא הברווזים עפים
2. אם השמש זורחת האגם אינו קפוא

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

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

${\displaystyle P}$: השמש זורחת

${\displaystyle Q}$: האגם קפוא

${\displaystyle R}$: הברווזים עפים

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

1. ${\displaystyle P\land (Q\to R)}$
2. ${\displaystyle P\to \neg Q}$

מסקנה: ${\displaystyle \neg R}$

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

${\displaystyle \neg R}$	${\displaystyle P\to \neg Q}$	${\displaystyle P\land (Q\to R)}$	${\displaystyle R}$	${\displaystyle Q}$	${\displaystyle P}$
F	F	T	T	T	T	1
T	F	F	F	T	T	2
F	T	T	T	F	T	3
T	T	T	F	F	T	4
F	T	F	T	T	F	5
T	T	F	F	T	F	6
F	T	F	T	F	F	7
T	T	F	F	F	F	8

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

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

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

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

• טבלת אמת, באתר אנציקלופדיה למתמטיקה (באנגלית)
• טבלת אמת, באתר MathWorld (באנגלית)

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