Flashcard FC97670
O que caracteriza formalmente a validade de um argumento em lógica proposicional?
Lógica de Proposições
CEBRASPE (CESPE) · 2023
O que caracteriza formalmente a validade de um argumento em lógica proposicional?
Mostrar resposta e comentário
Resposta
Que não existe interpretação em que todas as premissas sejam verdadeiras e a conclusão falsa.Explicação:
Um argumento é válido quando, ao assumir todas as premissas verdadeiras e a conclusão falsa (método da conclusão falsa), obtém-se uma contradição, isto é, não é possível satisfazer simultaneamente as premissas e falsificar a conclusão.
exemplo:
Premissas: \(P \lor Q\), \(\neg P\). Conclusão: \(Q\).
Suponha \(\neg Q\). De \(P \lor Q\) e \(\neg Q\) segue \(P\). Mas existe \(\neg P\) entre as premissas, gerando a contradição \(P\) e \(\neg P\).
Logo, não há valoração que torne verdadeiras as premissas e falsa a conclusão; o argumento é válido.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/83166
Conteúdo do catálogo FC Concursos · Atualizado em