Flashcard FC381890
Como se nega uma sentença universal do tipo ∀x (P(x) → Q(x))?
Lógica de Proposições
FCC · 2018
Como se nega uma sentença universal do tipo ∀x (P(x) → Q(x))?
Mostrar resposta e comentário
Resposta
Negação\( \neg\forall x\,\Phi(x)\equiv\exists x\,\neg\Phi(x) \)
Condicional
\( \neg(A\rightarrow B)\equiv A\wedge\neg B \)
Portanto
\( \neg\forall x\,(P(x)\rightarrow Q(x))\equiv\exists x\,(P(x)\wedge\neg Q(x)) \)
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/372434
Conteúdo do catálogo FC Concursos · Atualizado em