שינויים

'''>>ראשית, מעט לוגיקה: במשפט הראשון דרשת "מספיק" (X=>Y), אך במשפט השני תיארת "הכרח" (Y=>X) (שתואר ע"י "מספיק" של השלילות (לא X => לא Y)) ולכן זה וודאי אינו נכון .  '''X <= Y''' אז '''(לא Y) => (לא X)''' ולא '''Y <= X'''