Exercício 11 · Exame Nacional Filosofia Época especial 2025

Tema: Lógica formal: validade, solidez e lógica proposicional · Do exame Época especial (2025)

Enunciado

11. Formalize a proposição expressa pela frase seguinte, apresentando o respetivo dicionário.

Se a teoria de Kant for verdadeira, então os deveres não admitem exceções e mentir é sempre errado.

P:

Q:

R:

Enunciado: Exercício 11 · Exame Nacional Filosofia Época especial 2025

Resolução

Segundo os critérios oficiais de classificação

Apresentação do dicionário: P:

Resposta: A teoria de Kant é verdadeira.

Apresentação do dicionário: Q:

Resposta: Os deveres admitem exceções.

Apresentação do dicionário: R:

Resposta: Mentir é sempre errado.

Formalização:

Resposta: P→(¬Q∧R)P \rightarrow (\neg Q \wedge R)

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 3 · Época especial 2025 · Exercício 2 · 1.ª fase 2024 ›

Mais exercícios de Lógica formal: validade, solidez e lógica proposicional

O exame completo · Época especial (2025)