Resposta:
Se André não vai correr, então Luiz não vai andar.
Explicação:
A condicional (p —> q) é equivalente a sua contrapositiva (~q —> ~p) e a recíproca da condicional (q —> p) é equivalente à contrária da condicional (~p —> ~q).
Com isso demonstramos duas propriedades importantes:
A condicional p → q e a sua contrapositiva ~q → p são equivalentes.
A recíproca q → p e a contrária ~p → ~q, da condicional p → q , são equivalentes.
