Como se traduz "P somente se Q" em forma condicional e como concluir ¬P quando Q é verdadeiro?

P somente se Q equivale a \(P \to Q\). Se houver \(P \to \neg Q\) e \(Q\) verdadeiro, conclui-se \(\neg P\).

Explicação:
De \(P \to \neg Q\) a contrapositiva é \(Q \to \neg P\). Assim, ao observar \(Q\) verdadeiro, aplica‑se modus ponens na contrapositiva para obter \(\neg P\).

Exemplo:
Regra: "A luz acende somente se não houve corte de energia" → \(L \to \neg C\).
Fato observado: houve corte de energia → \(C\).
Pela contrapositiva \(C \to \neg L\) e modus ponens, conclui‑se \(\neg L\) (a luz não acendeu).