Se \(p \rightarrow q\) e \(\lnot q\) são verdadeiras, o que se infere sobre \(p\)?

\(\lnot p\)

Explicação:
Pela regra do modus tollens, se \(p\rightarrow q\) é verdadeira e \(\lnot q\) é verdadeira, então \(\lnot p\) deve ser verdadeira, porque uma condicional com consequente falso não pode ter antecedente verdadeiro.

Exemplo:
Considere:
1) Se a lâmpada está acesa, então há eletricidade, \(L \rightarrow E\).
2) Não há eletricidade, \(\lnot E\).
Logo, \(\lnot L\), a lâmpada não está acesa. Isso aplica diretamente o mesmo raciocínio lógico usado no comentário.