תחשיב הפסוקים – הבדלי גרסאות

 

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

 

<br /><br />