O Texto II afirma: “Nenhum crime contra a vida foi registrado pela polícia durante a Micareta de Feira.” Podemos considerar essa afirmação como uma proposição. Qual seria a sua negação utilizando as regras de quantificação (para todo, existe um)? Expliquem o significado da proposição negada no contexto da notícia.

Passo 1

Começamos entendendo que a frase “Nenhum crime contra a vida foi registrado pela polícia durante a Micareta de Feira” é uma proposição com quantificador universal negativo.

Passo 2

Formalizamos a afirmação original em lógica de predicados, deixando claro que
C(x) significa “x é um crime contra a vida” e
R(x) significa “x foi registrado pela polícia durante a Micareta de Feira”. Assim, a afirmação torna-se
lnot exists xl(C(x)land R(x)r)

Passo 3

Para negar essa proposição, aplicamos a regra de negação de quantificadores: a negação de lnot exists é exists. Logo, obtemos
exists xl(C(x)land R(x)r)

Passo 4

Por fim, traduzimos a negação para a linguagem natural: existe pelo menos um crime contra a vida que foi registrado pela polícia durante a Micareta de Feira.

Resposta

A negação formal é
exists xl(C(x)land R(x)r)
e, em linguagem natural: “Existe pelo menos um crime contra a vida que foi registrado pela polícia durante a Micareta de Feira.”

Exercícios relacionados