Flashcard FC558354
Como se nega formalmente uma proposição com quantificador universal?
Lógica de Proposições
FUNDATEC · 2025
Como se nega formalmente uma proposição com quantificador universal?
Mostrar resposta e comentário
Resposta
A negação de uma proposição universal é uma proposição existencial que afirma a existência de pelo menos um elemento que não satisfaz a propriedade.
• Negação simbólica: ¬(∀x P(x)) ≡ ∃x ¬P(x).
• Interpretação: não é verdade que todos possuem a propriedade, portanto existe pelo menos um que não a possui.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/546130
Conteúdo do catálogo FC Concursos · Atualizado em