Flashcard FC368149
Qual regra válida permite inferir ¬P a partir de P→Q e ¬Q?
Lógica de Proposições
Instituto Consulplan · 2024
Qual regra válida permite inferir ¬P a partir de P→Q e ¬Q?
Mostrar resposta e comentário
Resposta
Modus tollens.Explicação:
Partindo de \(P\rightarrow Q\) e de \(\lnot Q\), conclui‑se necessariamente \(\lnot P\), pois uma condicional verdadeira não pode ter antecedente verdadeiro e consequente falso.
Exemplo:
Considere: Se houver incêndio, haverá fumaça (\(I\rightarrow S\)).
Observa‑se que não há fumaça (\(\lnot S\)).
Logo, conclui‑se que não há incêndio (\(\lnot I\)).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/364761
Conteúdo do catálogo FC Concursos · Atualizado em