Qual é a negação lógica de p → (q ∨ ¬r)?

Resposta

A negação é \(p \land \neg q \land r\).

A proposição original é \(p \rightarrow (q \vee \neg r)\). A negação é \(p \land \neg(q \vee \neg r)\). De Morgan: \(\neg(q \vee \neg r)\) é equivalente a \(\neg q \land r\), portanto obtemos \(p \land \neg q \land r\).