A negação lógica da sentença “Todo rondoniense gosta de chimarrão ou de pão-de-queijo” é

Gabarito

B

Comentário do professor

A sentença original pode ser formalizada como Todo rondoniense: \( \forall x\,[R(x)\rightarrow (C(x)\lor P(x))]\), onde \(C\) = gosta de chimarrão e \(P\) = gosta de pão-de-queijo.

Negar uma afirmativa universal exige trocar o quantificador: \( \neg\forall x\,\phi \equiv \exists x\,\neg\phi\). Assim obtemos \( \exists x\,[R(x)\land \neg(C(x)\lor P(x))]\).

Negando a disjunção usamos a equivalência de De Morgan: \( \neg(C\lor P)\equiv \neg C\land \neg P\). Portanto fica \( \exists x\,[R(x)\land \neg C(x)\land \neg P(x)]\).

Em linguagem natural: Algum rondoniense não gosta de chimarrão nem de pão-de-queijo — exatamente a alternativa B.