Доказательство от противного построено на предположении противоположного утверждения и выводе противоположного результата. В данном случае, доказательства от противного используют утверждения типа "не".
Исходя из предложенных высказываний, доказательство от противного построено на утверждении "A→B и не В → не А равносильны", так как именно в этом случае мы рассматриваем противоположное утверждение "не В → не А" при условии "A→B". В таком доказательстве мы предполагаем, что если A→B и не В, то это приводит к отрицанию исходного утверждения A.
Это объяснение поможет вам лучше понять, какой вариант выбрать в данном задании.