A partir de P ⇒ Q, a inferência ¬P ⇒ ¬Q é válida?

Resposta

É inválida.

Explicação: A verdade de P ⇒ Q não garante que ¬P ⇒ ¬Q, porque Q pode ocorrer por outras causas mesmo quando P é falso.
Portanto, não se pode inferir a negação do consequente apenas a partir da negação do antecedente.

Se houver curto-circuito (P), o sistema de emergência ativa (Q).
Não haver curto-circuito (¬P) não implica que o sistema não ative (¬Q), pois ele pode ativar por teste ou erro operacional.