Flashcard FC302910
Qual conclusão se obtém a partir de \(p \to q\) e \(\neg q\)?
Lógica de Proposições
FGV · 2025
Qual conclusão se obtém a partir de \(p \to q\) e \(\neg q\)?
Mostrar resposta e comentário
Resposta
\(\neg p\)Modus tollens: a partir de \(p\to q\) e \(\neg q\) conclui‑se \(\neg p\).
Exemplo:
Premissas: \(r \to s\) e \(\neg s\).
Aplicando Modus tollens: logo \(\neg r\).
Em linguagem cotidiana:
"Se a lâmpada está ligada, então há eletricidade."
"Não há eletricidade."
Logo: "A lâmpada não está ligada."
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/300000
Conteúdo do catálogo FC Concursos · Atualizado em