A proposição A →B é equivalente à proposição ¬B→¬A.

Pode-se resolver facilmente essa questão lembrando das equivalências da condicional sem precisar fazer a tabela-verdade, logo:

A ➟ B = ~B ➟ ~A = ~A v B

Pela tabela-verdade:

A resposta é: Certo.

Correto. 

A     B     ¬A     ¬B            A----->B           ¬B----->¬A

v     v        f        f                   v                          v

v     f        f        v                   f                           f

f     v        v       f                    v                          v

f     f        v        v                   v                          v

Ou apenas decore que A--->B <==> ¬B--->¬A, que, particularmente, acho melhor do que montar tabela verdade.

Determinação!

Tanto : ¬B --> ¬A como também ¬AvB

¬B->¬A Essa é a famosa contra-positiva.

--

Gabarito: certo

Gabarito: Certo.

Equivalência do "se então" com o próprio "se então" é a teoria contrapositiva. Basta ler de trás pra frente negando tudo:

A ---> B

é equivalente a:

~B --> ~A