Flashcard FC381883
Qual é a negação lógica de "para todo x, P→Q"?
Lógica de Proposições
FCC · 2019
Qual é a negação lógica de "para todo x, P→Q"?
Mostrar resposta e comentário
Resposta
Negação:\( \neg(\forall x\,[P(x)\rightarrow Q(x)]) \equiv \exists x\,[P(x)\land \neg Q(x)] \)
Interpretação: existe um x com P e ¬Q
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/372427
Conteúdo do catálogo FC Concursos · Atualizado em