Questão FC451165
A negação da sentença “Todo domingo de sol eu vou à praia” é:
Lógica de Proposições
Instituto Verbena · 2024
A negação da sentença “Todo domingo de sol eu vou à praia” é:
- “Existe um domingo de sol em que eu vou à praia.”
- “Existe pelo menos um domingo de sol em que eu não vou à praia.”
- “Eu vou à praia apenas quando não é domingo de sol.”
- “Eu não vou à praia em nenhum domingo de sol.”
Mostrar resposta e comentário
Gabarito
B
Comentário do professor
Todo domingo de sol eu vou à praia é uma afirmação com quantificador universal: ela diz que para todo elemento do conjunto "domingos de sol" a propriedade "vou à praia" vale.
A negação de uma sentença universal afirma que existe pelo menos um contraexemplo que torna a frase falsa. Em notação lógica: \( \neg(\forall x\,P(x)) \equiv \exists x\,\neg P(x)\).
Aplicando isso ao enunciado, a negação afirma a existência de ao menos um domingo de sol em que a propriedade "vou à praia" não ocorre. Ou seja, existe pelo menos um domingo de sol em que eu não vou à praia.
Portanto, a forma correta da negação é a afirmativa que aponta esse contraexemplo, expressa pela alternativa marcada.
Conteúdo do catálogo FC Concursos · Atualizado em