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

== התחשיב וגבולותיו ==

בדוגמה להלן כל שורה היא נוסחה 'בנויה כהלכה', והמסקנה לפי כללי תחשיב הפסוקים היא חד משמעית:

 

=== נוסחה בנויה כהלכה (נוסחה בנויה היטב) ===

 

נוסחה בנויה היטב מוגדרת בצורה [[רקורסיה|הרקורסיבית]] הבאה:

|}

|}

 

 

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