Flashcard FC303011
Qual é a negação lógica de uma proposição universal "todas ..."?
Lógica de Proposições
FGV · 2016
Qual é a negação lógica de uma proposição universal "todas ..."?
Mostrar resposta e comentário
Resposta
Há pelo menos um contraexemplo — formalmente \(\neg(\forall x\,P(x)) \equiv \exists x\,\neg P(x)\).Significa que, se uma afirmação do tipo "todas as x são P" é falsa, podemos concluir apenas que existe pelo menos um elemento que não satisfaz P; não se pode afirmar quantos são.
Exemplo:
Afirmação: "todas as lâmpadas do corredor estão acesas" — \(\forall x\,L(x)\).
Se essa afirmação é falsa, então: "existe pelo menos uma lâmpada do corredor que está apagada" — \(\exists x\,\neg L(x)\).
Não se pode deduzir quantas estão apagadas, apenas que há ao menos uma.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/300101
Conteúdo do catálogo FC Concursos · Atualizado em