Flashcard FC97951
Se \(A \to B\) é verdadeira e sabe-se que \(B\) é falsa, o que se pode concluir sobre \(A\)?
Lógica de Proposições
CEBRASPE (CESPE) · 2022
Se \(A \to B\) é verdadeira e sabe-se que \(B\) é falsa, o que se pode concluir sobre \(A\)?
Mostrar resposta e comentário
Resposta
\(\lnot A\)Se temos \(A \to B\) e observamos \(\lnot B\), pela regra do modus tollens inferimos \(\lnot A\).
Exemplo:
Considere:
\(A\): "A lâmpada está ligada".
\(B\): "Há corrente elétrica no circuito".
Regra: \(A \to B\) (se a lâmpada está ligada, então há corrente).
Observação: \(\lnot B\) (não há corrente).
Conclusão: \(\lnot A\) (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/86467
Conteúdo do catálogo FC Concursos · Atualizado em