Exercício 4 · Exame Nacional Filosofia 1.ª fase 2023

Tema: Lógica formal: validade, solidez e lógica proposicional · Do exame 1.ª fase (2023)

Enunciado

4. Considere as proposições seguintes.

P: Hume era ateu.

Q: Hume apresentou objeções ao argumento do desígnio inteligente.

R: Hume foi admitido na Universidade de Edimburgo.

Os biógrafos de Hume afirmam que Hume ter sido ateu e ter apresentado objeções ao argumento do desígnio inteligente foram, conjuntamente, condição suficiente para Hume não ter sido admitido na Universidade de Edimburgo.

A fórmula que representa tal afirmação é

  1. (¬P ∧ Q) → R
  2. ¬R → (P ∧ Q)
  3. (P ∧ Q) → ¬R
  4. R → (¬P ∧ Q)

Enunciado: Exercício 4 · Exame Nacional Filosofia 1.ª fase 2023

Resolução

Segundo os critérios oficiais de classificação

A fórmula que representa tal afirmação é

Resposta: (C) (P ∧ Q) → ¬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 1 · 1.ª fase 2023 · Exercício 5 · 1.ª fase 2023 ›

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

O exame completo · 1.ª fase (2023)