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

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

Из предложенных утверждений для доказательства от противного подходит следующее:

Утверждения A→B и не В → не А равносильны

Давайте предположим, что утверждение не А→B не верно. Это означает, что A ложно (не А истинно), но B истинно. Так как по условию утверждения A→B, A ложно и B истинно, и не В→не A - это пропозициональная эквивалентность A→B и не В→не A. Получаем противоречие, предположение было неверным, следовательно, изначальное утверждение верно.