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.
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 : “
é um filme suíço”.
– Predicado : “
é sério”.
– Universo dos discursos: conjunto de todos os filmes.
– Predicado
– Predicado
Passo 2
Formalizamos a afirmação original com quantificadores:
Passo 3
Aplicamos a negação à fórmula e simplificamos usando equivalências lógicas:
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:
Negação em português: existe pelo menos um filme suíço que não é sério.