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

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

 

 

# השמש זורחת וגם אם האגם קפוא הברווזים עפים

 

 

: P: השמש זורחת

: Q: האגם קפוא

 

 

# <math>P \land (Q \to R)</math>

# <math>P \to \neg Q</math>

 

 

 

{| border="1" cellpadding="3"