На каком рассуждении построено доказательство от противного? Утверждения A→B и не В→А равносильны Утверждения A→B и В→А равносильны Утверждения A→B и не В → не А равносильны Утверждения A→B и не А→В равносильны Утверждения A→B и не А → не В равносильны

Доказательство от противного строится на предположении ложности утверждения и выводе противоречия. В данном случае, рассматривая варианты, утверждение которых равносильно A → B, мы должны рассмотреть утверждение, противоположное данному, и показать, что это приводит к противоречию.

Правильный вариант для доказательства от противного это: Утверждения A→B и не B→A равносильны