Flashcard FC98433
O que caracteriza um argumento válido em lógica proposicional?
Lógica de Proposições
CEBRASPE (CESPE) · 2015
O que caracteriza um argumento válido em lógica proposicional?
Mostrar resposta e comentário
Resposta
Um argumento é válido se as premissas implicam logicamente a conclusão — não existe interpretação em que todas as premissas sejam verdadeiras e a conclusão falsa.Explicação:
Validade significa consequência lógica: as relações entre as proposições garantem a conclusão independentemente do conteúdo concreto.
Em termos formais, escrevemos \( \Gamma \models \varphi \) quando todo modelo que faz verdadeiras as premissas \( \Gamma \) também faz verdadeira a conclusão \( \varphi \).
Exemplo:
Fórmulas: \(p\to q\), \(q\to r\). Essas premissas implicam \(p\to r\), pois em qualquer interpretação onde \(p\to q\) e \(q\to r\) são verdadeiras, também será verdadeira \(p\to r\).
Em linguagem comum: "Se estudar então passa"; "Se passa então recebe certificado". Logo: "Se estudar então recebe certificado".
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/90028
Conteúdo do catálogo FC Concursos · Atualizado em