Qual é a contrapositiva de uma implicação \(p \to q\)?

\( (p \to q) \) é equivalente a \( (\lnot q \to \lnot p) \).

Explicação:
Uma implicação \(p \to q\) tem a mesma tabela de verdade da sua contrapositiva \( \lnot q \to \lnot p\), ou seja, são logicamente equivalentes:
\( (p \to q) \equiv (\lnot q \to \lnot p)\).

exemplo:
Considere:
p: “A figura é um quadrado”.
q: “A figura é um retângulo”.
A implicação: “Se é um quadrado então é um retângulo” (\(p \to q\)).
Sua contrapositiva: “Se não é um retângulo então não é um quadrado” (\(\lnot q \to \lnot p\)), que é logicamente equivalente à afirmação original.