erratum ,

lire : "On a posé que (si) A implique B (alors) non-A implique non-B. Or, non-A n’implique pas non-B."

C’est moi qui ai ajouté des parenthèses sans lesquelles la suite n’a pas de sens.