Flashcard FC97665
Quando um argumento é considerado válido na lógica proposicional?
Lógica de Proposições
CEBRASPE (CESPE) · 2024
Quando um argumento é considerado válido na lógica proposicional?
Mostrar resposta e comentário
Resposta
Um argumento é válido quando não existe nenhuma atribuição de valores que torne todas as premissas verdadeiras e a conclusão falsa.Explicação:
Validade significa que a verdade das premissas garante necessariamente a verdade da conclusão; se for possível encontrar uma atribuição de valores (um contraexemplo) que faça todas as premissas verdadeiras e a conclusão falsa, o argumento é inválido.
Exemplo:
Premissas: \(A\rightarrow B\), \(C\rightarrow D\). Conclusão: \(B\rightarrow D\).
Considere a atribuição \(A=\text{F},\;B=\text{V},\;C=\text{F},\;D=\text{F}\).
Então \(A\rightarrow B\) é verdadeira (pois \(A\) é F) e \(C\rightarrow D\) é verdadeira (pois \(C\) é F), mas \(B\rightarrow D\) é falsa (B=V e D=F).
Há um contraexemplo, logo o argumento é inválido.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/83161
Conteúdo do catálogo FC Concursos · Atualizado em