Flashcard FC97960
Quando um argumento é considerado válido em lógica proposicional?
Lógica de Proposições
CEBRASPE (CESPE) · 2022
Quando um argumento é considerado válido em lógica proposicional?
Mostrar resposta e comentário
Resposta
A conclusão é verdadeira em todos os modelos nos quais as premissas são verdadeiras.Detalhe:
Um argumento é válido se não existe nenhum modelo (situação) em que todas as premissas sejam verdadeiras e a conclusão seja falsa. Validade é preservação lógica da verdade, independentemente da verdade factual das premissas.
exemplo:
Premissas: P → Q, Q → R, P.
Conclusão: R.
Em qualquer modelo que torne verdadeiras P → Q, Q → R e P, necessariamente R será verdadeiro; portanto o argumento é válido.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/86476
Conteúdo do catálogo FC Concursos · Atualizado em