Exercício 12 · Exame Nacional Filosofia Época especial 2021
Tema: Lógica formal: validade, solidez e lógica proposicional · Do exame Época especial (2021)
Enunciado
12. Avalie o argumento seguinte quanto à sua validade, construindo e interpretando uma tabela de verdade.
A nossa vida tem um propósito dado por Deus se e apenas se Deus existir e for o nosso criador.
Ora, é falso que Deus exista e seja o nosso criador.
Logo, a nossa vida não tem um propósito dado por Deus.
Na sua resposta, comece por formalizar o argumento, utilizando o dicionário apresentado.
Dicionário
P: A nossa vida tem um propósito dado por Deus.
Q: Deus existe.
R: Deus é o nosso criador.
1.
2.
P
Q
R
P ↔ (Q ∧ R)
¬(Q ∧ R)
∴ ¬P
3.
Resolução
Segundo os critérios oficiais de classificação
Na sua resposta, comece por formalizar o argumento, utilizando o dicionário apresentado.
Resposta: P ↔ (Q ∧ R) ¬(Q ∧ R) ∴ ¬P
Construindo uma tabela de verdade:
Resposta:
Interpretando uma tabela de verdade e avaliando a validade do argumento:
Resposta: Verifica-se que a conclusão é verdadeira sempre que as premissas são verdadeiras (ou: em nenhuma circunstância/linha as premissas são todas verdadeiras e a conclusão é falsa; ou: não há a possibilidade de, simultaneamente, as premissas serem verdadeiras e a conclusão ser falsa). Por conseguinte, o argumento é válido.
Construção da tabela de verdade (preencha a coluna principal de cada fórmula):
Resposta: F
Construção da tabela de verdade (preencha a coluna principal de cada fórmula):
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 · Época especial 2021
Mais exercícios de Lógica formal: validade, solidez e lógica proposicional
- Exercício 2 · 1.ª fase 2026
- Exercício 3 · 1.ª fase 2026
- Exercício 1 · 2.ª fase 2026
- Exercício 2 · 2.ª fase 2026
O exame completo · Época especial (2021)