Flashcard FC381877
Qual é a negação lógica de ∀x∃y P(x,y)?
Lógica de Proposições
FCC · 2019
Qual é a negação lógica de ∀x∃y P(x,y)?
Mostrar resposta e comentário
Resposta
Negação:
\( \neg(\forall x\exists y\,P(x,y)) \equiv \exists x\forall y\,\neg P(x,y)\)
Existe um x que não satisfaz P para nenhum y.
\( \neg(\forall x\exists y\,P(x,y)) \equiv \exists x\forall y\,\neg P(x,y)\)
Existe um x que não satisfaz P para nenhum y.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/372421
Conteúdo do catálogo FC Concursos · Atualizado em