Flashcard FC302982
Qual é a negação lógica de "Todo P é Q" em quantificadores e em linguagem natural?
Lógica de Proposições
FGV · 2019
Qual é a negação lógica de "Todo P é Q" em quantificadores e em linguagem natural?
Mostrar resposta e comentário
Resposta
\( \neg\forall x\,(P(x)\rightarrow Q(x)) \equiv \exists x\,(P(x)\wedge \neg Q(x)) \)Isto significa que existe pelo menos um indivíduo que é P e não é Q.
Exemplo: Considere "Todo pássaro voa". A negação é "Algum pássaro não voa" — por exemplo, um pinguim. Formalmente: \( \neg\forall x\,(B(x)\rightarrow V(x)) \equiv \exists x\,(B(x)\wedge \neg V(x)) \).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/300072
Conteúdo do catálogo FC Concursos · Atualizado em