Flashcard FC317403
Qual é a negação lógica de "nenhum X tem a propriedade P"?
Lógica de Proposições
Com. Org. (IFSP) · 2016
Qual é a negação lógica de "nenhum X tem a propriedade P"?
Mostrar resposta e comentário
Resposta
Pelo menos um X tem a propriedade P.Formalmente: \( \forall x\,\neg P(x) \) é a afirmação "nenhum X tem P".
A negação é \( \neg(\forall x\,\neg P(x)) \equiv \exists x\,P(x) \).
Exemplo:
Afirmação: "Nenhum carro tem seguro" → formalmente \( \forall x\,\neg S(x) \) com \(S(x)\)="x é um carro com seguro".
Sua negação: existe pelo menos um carro com seguro → \( \exists x\,S(x) \).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/317095
Conteúdo do catálogo FC Concursos · Atualizado em