Flashcard FC98435
Quando um argumento é considerado válido na lógica proposicional?
Lógica de Proposições
CEBRASPE (CESPE) · 2014
Quando um argumento é considerado válido na lógica proposicional?
Mostrar resposta e comentário
Resposta
Quando a conclusão é consequência lógica das premissas — não existe valoração que torne todas as premissas verdadeiras e a conclusão falsa.Pode-se demonstrar validade de duas formas: semanticamente, mostrando que não há modelo que faça todas as premissas verdadeiras e a conclusão falsa; sintaticamente, derivando a conclusão a partir das premissas por regras formais (por exemplo, silogismo hipotético e modus ponens).
Exemplo:
P1: \(P\to Q\)
P2: \(Q\to R\)
P3: \(P\)
De P1 e P2, por silogismo hipotético, obtemos \(P\to R\).
Aplicando modus ponens com P3, obtemos \(R\).
Portanto \(R\) é consequência lógica das premissas e o argumento é válido.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/90030
Conteúdo do catálogo FC Concursos · Atualizado em