2.1 המשמעות של פסוק תנאי - דיון מקדים

כדי לברר את המשמעות הלוגית של פסוק תנאי יש לנתח את ערכי האמת של ו ב מצבי האמת השונים של מרכיביו . בדיון זה ננסה לעמוד על הקשיים הכרוכים במשימה זו . ברור בהחלט מהנוסח " אם p אז , " q שכוונתו של הדובר היא : במצב שבו p הוא אמת , גם q חייב להיות אמת . על כן - : אם p הוא אמת ו- q הוא אמת , פסוק התנאי כולו הוא אמת . - אם p הוא אמת ואילו q הוא שקר , פסוק התנאי כולו הוא שקר . נתבונן לדוגמה בפסוק " אם גארפילד הוא חתול , אז גארפילד הוא ג ' ינג ' י . " אם יתבר ר שגארפילד הוא חתול , נצפה על פי הפסוק שהוא יהיה ג ' ינג ' י . אם אכן זה המצב , הפסוק י ֵ חשב אמת . אך אם יתבר ר שגארפילד אינו ג ' ינג ' י , הפסוק יי חשב שקר . באופן דומה , במצב ש בו המועמד שהבטיח לבנות רכבת תחתית בתל אביב ייבחר לראשות העיר , נצפה שתיבנה ( סוף- סוף ) רכבת בעיר . אם הרכבת לא תי בנה , הבטחתו תי חשב שקר . פחות ברור מנוסח זה מה משמעות ו של פסוק תנאי במצב שבו p אינו אמת . חומר למחשבה : הפסוק " אם אין קמח - אין תורה , " לדוגמה , מתייחס למצב שבו " אין קמח . " ומה אם יתבר ר שיש קמח ? האם בהיעדר תורה , לדוגמה , הפסוק י ֵ חשב שקר ? מ...  אל הספר
מכון מופ"ת