Expreesse a negação das proposições abaixo usando quantificadores e depois expresse a negação em português.
Todos os filmes suíços são sérios.

Passo 1

Temos a proposição “Todos os filmes suíços são sérios”. O conteúdo aqui é lógica de predicados com quantificadores. Vamos representar:
– Universo dos discursos: conjunto de todos os filmes.
– Predicado F(x): “ x é um filme suíço”.
– Predicado S(x): “ x é sério”.

Passo 2

Formalizamos a afirmação original com quantificadores:
\forall x \,\bigl(F(x)\to S(x)\bigr).

Passo 3

Aplicamos a negação à fórmula e simplificamos usando equivalências lógicas:
\neg \forall x \,\bigl(F(x)\to S(x)\bigr) \;\equiv\; \exists x \,\neg\bigl(F(x)\to S(x)\bigr) \;\equiv\; \exists x \,\bigl(F(x)\land \neg S(x)\bigr).

Passo 4

Interpretando em português, essa negação diz que “existe pelo menos um filme suíço que não é sério”.

Resposta

Negação em quantificadores:
\exists x \,\bigl(F(x)\land \neg S(x)\bigr).
Negação em português: existe pelo menos um filme suíço que não é sério.

Exercícios de Livros Relacionados