Flashcard FC98437
Quando um argumento em lógica proposicional é considerado válido?
Lógica de Proposições
CEBRASPE (CESPE) · 2014
Quando um argumento em lógica proposicional é considerado válido?
Mostrar resposta e comentário
Resposta
Quando, sempre que todas as premissas são verdadeiras, a conclusão também é verdadeira.Um argumento é válido se não existe nenhuma atribuição de valores de verdade que torne todas as premissas verdadeiras e a conclusão falsa.
Para mostrar que um argumento é inválido basta apresentar um contraexemplo: uma atribuição em que as premissas dão verdadeiras e a conclusão é falsa.
Exemplo:
Seja p = "chove", q = "a rua fica molhada", r = "alguém usa guarda-chuva".
Premissas: p → q e r → ¬q. Conclusão: p → r.
Considere a atribuição p=V, q=V, r=F. Então p → q=V e r → ¬q=V, mas p → r=F. Logo há um contraexemplo e o argumento é inválido.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/90032
Conteúdo do catálogo FC Concursos · Atualizado em