Dadas as premissas \(p \rightarrow q\) e \(\neg q\), qual conclusão pode ser inferida validamente?

\(\neg p\)

Motivo: se \(p\rightarrow q\) é verdadeira e \(\neg q\) também, a condicional só permanece verdadeira se \(p\) for falso, logo \(\neg p\) é verdadeira.

exemplo:
Considere \(p\)="equipamento ligado", \(q\)="luz acesa".
Premissas: \(p\rightarrow q\), \(\neg q\) (a luz não acende).
Conclusão válida: \(\neg p\) (o equipamento não está ligado).