Flashcard FC98721
Quando um argumento é considerado válido na lógica proposicional?
Lógica de Proposições
CEBRASPE (CESPE) · 2018
Quando um argumento é considerado válido na lógica proposicional?
Mostrar resposta e comentário
Resposta
Quando a conclusão decorre necessariamente das premissas pela forma lógica, independentemente da verdade factual das premissas.
Explicação:
Um argumento é válido se, supondo as premissas verdadeiras, a conclusão não pode ser falsa; a validade depende só da forma lógica e da relação de consequência.
exemplo:
Premissas: \(p \rightarrow q,\; q \rightarrow r,\; p\).
Conclusão: \(r\).
De \(p\) e \(p\rightarrow q\) segue \(q\) (modus ponens); de \(q\) e \(q\rightarrow r\) segue \(r\). Logo, a conclusão decorre necessariamente das premissas, portanto o argumento é válido, mesmo que \(p,q,r\) sejam factualmente falsas.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/94304
Conteúdo do catálogo FC Concursos · Atualizado em