טבלת אמת – הבדלי גרסאות

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

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