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