Qual é a negação lógica de um condicional \(A \to B\)?

\( \neg(A\to B)\equiv A\land\neg B\)

Negar um condicional transforma-o em conjunção do antecedente com a negação do consequente, pela equivalência lógica \( \neg(A\to B)\equiv A\land\neg B\).

Exemplo:
Considere P: "senha correta", Q: "biometria ok", R: "acesso negado".
A proposição original: \( (P\land Q)\to\neg R\).
Sua negação: \( \neg\big((P\land Q)\to\neg R\big)\equiv (P\land Q)\land\neg(\neg R)\equiv P\land Q\land R\).
Interpretação: senha correta e biometria ok e acesso negado.