Qual é a negação lógica da proposição condicional A → B?

¬(A → B) ≡ A ∧ ¬B

A negação do condicional ocorre quando a antecedente é verdadeira e a consequente é falsa.

Exemplo:
Proposição: "Se há aula, então há revisão" simbolizada por \(A \to R\).
Sua negação é \(A \land \neg R\), isto é: "Há aula e não há revisão".