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