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

Доказательство от противного строится на предположении истинности утверждения и выводе противоречия из этого предположения.

В данном случае, доказательство от противного основано на утверждении: A→B и не В→не А равносильны. Предположим, что A→B не выполняется, что означает, что либо A ложно, либо B истинно. Но с утверждением не В→не А мы получаем, что не В ложно, что влечет за собой А ложно - это противоречие, и, следовательно, исходное утверждение истинно.

Таким образом, доказательство от противного используется на основе утверждения: A→B и не В→не А равносильны.