Exercício 12 · Exame Nacional Filosofia 1.ª fase 2021
Tema: Lógica formal: validade, solidez e lógica proposicional · Do exame 1.ª fase (2021)
Enunciado
12. Prove que o argumento seguinte é inválido, construindo e interpretando a tabela de verdade adequada.
Se Antígona é uma tragédia, então a heroína de Antígona morre.
Logo, se Antígona não é uma tragédia, então a heroína de Antígona não morre.
Na sua resposta, comece por formalizar o argumento, utilizando o dicionário apresentado.
Dicionário
P: Antígona é uma tragédia.
Q: A heroína de Antígona morre.
1.
Premissa:
Conclusão:
2.
P · Q · P → Q · ¬P → ¬Q
3.
Resolução
Segundo os critérios oficiais de classificação
Premissa do argumento formalizada
Resposta: P → Q
Conclusão do argumento formalizada
Resposta: ¬P → ¬Q
Construção da tabela de verdade e cálculo dos valores de verdade
Resposta: Coluna P → Q: V, F, V, V; Coluna ¬P → ¬Q: V, V, F, V
Interpretação da tabela e conclusão quanto à validade
Resposta: Na terceira linha da tabela de verdade, a premissa é verdadeira e a conclusão é falsa. Como num argumento válido é impossível ter premissas verdadeiras e conclusão falsa, o argumento é inválido.
Construção da tabela de verdade (preencha com V ou F): Linha 2, ¬P → ¬Q
Resposta: V
A explicação passo a passo é Premium. Premium
Resolve-o aqui mesmo: correção automática, pistas e solução passo a passo.
‹ Exercício 11 · 1.ª fase 2021 · Exercício 2 · 2.ª fase 2021 ›
Mais exercícios de Lógica formal: validade, solidez e lógica proposicional
- Exercício 2 · 2.ª fase 2021
- Exercício 5 · 2.ª fase 2021
- Exercício 6 · 2.ª fase 2021
- Exercício 2 · Época especial 2021
O exame completo · 1.ª fase (2021)