Flashcard FC381836
Qual inferência válida decorre de P → ¬Q e Q?
Lógica de Proposições
FCC · 2022
Qual inferência válida decorre de P → ¬Q e Q?
Mostrar resposta e comentário
Resposta
¬PUma condicional é falsa apenas se antecedente verdadeiro e consequente falso.
Como Q torna ¬Q falso, a combinação antecedente verdadeiro e consequente falso é impossível.
Logo, deve-se inferir ¬P.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/372380
Conteúdo do catálogo FC Concursos · Atualizado em