פסוקים שקולים טאוטולוגית

ראיתי אותך ולא שמעתי אותך ' אומר אותו דבר כמו ' לא נכון , שראיתי או שמעתי אותך ' . מי שאינו משוכנע ש- ' אם שותים לא נוהגים ' ו- ' אם נוהגים – לא שותים ' מביעים אותה טענה , ושכל אחד משני הפסוקים האלה מביע טענה אחרת מאשר ' אם לא נוהגים – שותים ' , יסמן ב- P את ' שותים ' וב- Q את ' נוהגים ' , יערוך לוח אמת משותף לפסוקים , P → ¬ Q Q → ¬ P ו- , ¬ Q → P ויבדוק ! שאלה 5 . 29 א . נסמן ב- P וב- Q את הפסוקים ' אכלתי ' ו- ' שתיתי ' , שהם המרכיבים הפשוטים של הפסוק ' לא אכלתי ושתיתי ' . כאשר ראובן אומר : ' לא אכלתי ושתיתי ' כתשובה להתרסה ' למה אתה ממהר למסעדה ? הלא אכלת ושתית זה עתה ! ' , ככל הנראה הוא מתכוון לומר ' לא נכון שאכלתי ושתיתי ' , ובהצרנה – ( . (¬ P ∧ Q כאשר שמעון משתמש באותו פסוק תוך כדי התכבדות בכריך וסירוב מנומס לבקבוק מים , סביר להניח שכוונתו לומר : ' לא אכלתי , אבל שתיתי ' , ובהצרנה – . ¬ P ∧ Q כשהגיעו כוחות ההצלה אל לוי , שהלך לאיבוד במדבר , הוא אמר ' ( כבר שבוע ) לא אכלתי ושתיתי ' . במקרה זה הנטייה היא להבין שהוא התכוון לומר : ' לא אכלתי ולא שתיתי ' , ובהצרנה – . ¬ P ∧ ¬ Q כדי להי...  אל הספר
האוניברסיטה הפתוחה