Qual é a negação lógica de uma condicional p → q?

Resposta

\(p \land \neg q\)

Explicação:
A negação de uma condicional mantém a hipótese p e nega a conclusão q, ligando-as por e.
Simbolicamente: \( \neg (p \rightarrow q) \equiv p \land \neg q \).

Exemplo:
Se estudar, então será aprovado.
Negação: Estuda e não será aprovado.
Simbolicamente: \( \neg(\text{estudar} \rightarrow \text{ser aprovado}) \equiv \text{estudar} \land \neg\text{ser aprovado} \).