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