A negação lógica da sentença “Todo capixaba é torcedor do Vasco e gosta de moqueca” é:

Gabarito

Errado

Comentário do professor

A sentença universal "Todo capixaba é torcedor do Vasco e gosta de moqueca" tem a forma geral \( \forall x\, (A(x) \rightarrow (P(x)\land Q(x))) \). Para negar uma afirmação universal aplicamos a equivalência lógica

não \( \forall x\,P(x) \equiv \exists x\,\neg P(x) \).

Além disso, a negação de uma conjunção transforma-se em disjunção pela Lei de De Morgan:

\( \neg (P\land Q) \equiv (\neg P)\lor(\neg Q) \).

Unindo as duas regras: existe capixaba tal que não vale a conjunção, isto é, existe capixaba para o qual não é torcedor do Vasco ou não gosta de moqueca.

Forma verbal equivalente: Algum capixaba não é torcedor do Vasco ou não gosta de moqueca.