2 . 5 . 1 חוק ניגוד ההתניה נחזור לפסוק " אם יורד כעת גשם - המדרכה רטובה . " לא קשה להשתכנע שפסוק זה שקול לוגית לפסוק " אם המדרכה יבשה , אז לא יורד כעת גשם . " אכן , שני הפסוקים הללו מתבררים כשקר אך ורק במקרה שיורד גשם והמדרכה יבשה . באופן כללי : הוכחה : כדי להוכיח שלשני הפסוקים יש בדיוק אותם ערכי אמת די לשים לב לעובדות הבאות : - ערך האמת של q › p הוא F אך ורק במקרה שערך האמת של p הוא T ושל q הוא . F - ערך האמת של ~ p › ~ q הוא F אך ורק במקרה שערך האמת של ~ q הוא ) T דהיינו ערך האמת של q הוא ( F וערך האמת של ~ p הוא ) F דהיינו ערך האמת של p הוא . ( T דוגמאות : - הפסוק " אם אני שותה , אינני נוהג " שקול לוגית לפסוק " אם אני נוהג , אינני שותה . " [ כזכור איננו עוסקים ביחסים של סיבה ומסובב [ . - הפסוק " אם היום יום כיפור , אזי אני צם / צמה היום " שקול לוגית לפסוק " אם איני צם / צמה היום , אזי היום לא יום כיפור . " סוגיה : האם פסוקים אלו שקולים ל " אם היום לא יום כיפור , אזי אינני צם / ה היום " ? - שני הפסוקים " אם אין שלום , אין צמיחה " , " אם יש צמיחה , יש שלום " שקולים לוגית . סוגיה : האם...
אל הספר