Qual é a negação lógica da proposição condicional "Se P, então Q"?

Negação: \(p \land \neg q\)

Explicação:
A negação de \(p \to q\) é a conjunção entre o antecedente verdadeiro e o consequente falso, pois o condicional só é falso quando \(p\) é verdadeiro e \(q\) é falso.
Formalmente: \( \neg(p \to q) \equiv p \land \neg q\).
Observe que \(\neg p \to \neg q\) não equivale à negação do condicional.

Exemplo:
Considere \(p\): Estudei e \(q\): Passei no exame.
Original: Se estudei, então passei no exame = \(p \to q\).
Negação: Estudei e não passei no exame = \(p \land \neg q\).