Como se obtém a contrapositiva de uma implicação \(p \to q\)?

Negando e invertendo: \( \lnot q \to \lnot p\).

Explicação: Um condicional é equivalente à sua contrapositiva, portanto \(p\to q\) e \(\lnot q\to\lnot p\) têm o mesmo valor de verdade.
Para formar a contrapositiva, inverta antecedente e consequente e negue ambos.

Exemplo: Considere: "Se há incêndio (p) então há fumaça (q)".
A contrapositiva é: "Se não há fumaça (\(\lnot q\)) então não há incêndio (\(\lnot p\))".