Flashcard FC381884
Qual é a contrapositiva logicamente equivalente de uma implicação universal \( \forall x\,(P(x)\to Q(x))\)?
Lógica de Proposições
FCC · 2019
Qual é a contrapositiva logicamente equivalente de uma implicação universal \( \forall x\,(P(x)\to Q(x))\)?
Mostrar resposta e comentário
Resposta
Contrapositiva:De \( \forall x\,(P(x)\to Q(x))\)
segue \( \forall x\,(\neg Q(x)\to \neg P(x))\).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/372428
Conteúdo do catálogo FC Concursos · Atualizado em