Qual é a contrapositiva de \(p \rightarrow q\) e ela é equivalente à condicional original?

\( \neg q \rightarrow \neg p\), sim.

Explicação:
Formamos a contrapositiva negando ambos os termos e invertendo a ordem, assim a contrapositiva tem valor lógico igual à condicional original, pois ambas são falsas exatamente quando \(p\) é verdadeira e \(q\) é falsa.

Exemplo:
Considere \(p\): "o aparelho está ligado", \(q\): "há corrente elétrica".
Original: \(p \rightarrow q\): se o aparelho está ligado, então há corrente elétrica.
Contrapositiva: \(\neg q \rightarrow \neg p\): se não há corrente elétrica, então o aparelho não está ligado.
Ambas as sentenças têm o mesmo valor lógico em todas as situações.