Flashcard FC684003
Como funciona o método da conclusão falsa na lógica proposicional?
Lógica de Proposições
QUADRIX · 2025
Como funciona o método da conclusão falsa na lógica proposicional?
Mostrar resposta e comentário
Resposta
O método da conclusão falsa consiste em supor a negação da conclusão e deduzir, a partir das premissas, uma contradição, portanto a conclusão é verdadeira.1. Suponha temporariamente a negação da conclusão, ¬C, onde C é a conclusão a provar.
2. Aplique as premissas para deduzir fórmulas até obter uma contradição (por exemplo, B e ¬B simultâneos).
3. Conclua que a suposição é impossível e, por consequência, que a conclusão original é verdadeira.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/670485
Conteúdo do catálogo FC Concursos · Atualizado em