Flashcard FC302932
Dado \(p \to q\) e \(\neg q\), qual conclusão válida se obtém?
Lógica de Proposições
FGV · 2018
Dado \(p \to q\) e \(\neg q\), qual conclusão válida se obtém?
Mostrar resposta e comentário
Resposta
\(\neg p\).\(\neg p\) porque o condicional é logicamente equivalente à contrapositiva: \(p \to q \equiv \neg q \to \neg p\).
Portanto, a partir de \(p \to q\) e de \(\neg q\) infere-se \(\neg p\) pela contraposição.
Exemplo:
Considere:
p = há fogo ; q = há fumaça.
Premissa: se há fogo então há fumaça (\(p \to q\)).
Se observamos que não há fumaça (\(\neg q\)), concluímos que não há fogo (\(\neg p\)).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/300022
Conteúdo do catálogo FC Concursos · Atualizado em