Flashcard FC303017
Qual é a negação lógica da sentença universal negativa "Nenhum A é B"?
Lógica de Proposições
FGV · 2015
Qual é a negação lógica da sentença universal negativa "Nenhum A é B"?
Mostrar resposta e comentário
Resposta
Há pelo menos um A que é B.Formalmente:
\(\forall x (A(x)\rightarrow \neg B(x))\)
\(\neg\forall x (A(x)\rightarrow \neg B(x)) \equiv \exists x (A(x)\land B(x))\)
Exemplo:
Sentença: "Nenhum veículo híbrido é totalmente elétrico."
Negação: "Existe pelo menos um veículo híbrido que é totalmente elétrico."
Se um único veículo híbrido totalmente elétrico for encontrado, a afirmação original torna-se falsa.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/300107
Conteúdo do catálogo FC Concursos · Atualizado em