Qual é a negação da condicional A → (B ∧ C)?

Resposta

A negação é \(A \land (\neg B \lor \neg C)\).

Equivalentemente, \(\neg(A \rightarrow (B \land C)) \equiv A \land \neg(B \land C)\), e por De Morgan \(\neg(B \land C) \equiv \neg B \lor \neg C\).