Решите

Привет! Давай разберёмся с задачей.

Судя по фотографии, перед нами вопрос о логическом умозаключении, и необходимо выбрать, на каком рассуждении построено доказательство от противного.

Давай вспомним, как строится доказательство от противного в логике. Оно начинается с предположения о том, что утверждение неверно, и через ряд логических шагов приходит к противоречию. Это противоречие демонстрирует ошибочность исходного предположения, и таким образом доказывается истинность исходного утверждения.

Посмотрим на варианты ответов.

Утверждения A->B и не A->не B равносильны - это не похоже на доказательство от противного, так как здесь просто говорится о равносильности двух утверждений.

Утверждения A->B и не A->B равносильны - это тоже не соответствует методу доказательства от противного, так как опять идет речь о равносильности.

Утверждения A->B и не A, не B равносильны - в этом варианте мы видим начало рассуждения от противного, где предположим, что A не приводит к B, но это противоречит исходному утверждению A->B, что указывает на ошибку в предположении.

Утверждения A->B и не B->не A равносильны - вот это классический пример рассуждения от прот