Exercício 5 · Exame Nacional Filosofia 1.ª fase 2024

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

Enunciado

5. Considere o argumento seguinte.

É falso que Plutão seja um planeta ou uma estrela. Daí que Plutão não seja um planeta nem uma estrela.

De que modo poderia este argumento ser representado na linguagem da lógica proposicional?

  1. ¬(P ∨ Q) ∴ ¬P ∨ ¬Q
  2. ¬P ∨ ¬Q ∴ ¬P ∧ Q
  3. ¬P ∨ ¬Q ∴ ¬(P ∨ Q)
  4. ¬(P ∨ Q) ∴ ¬P ∧ ¬Q

Enunciado: Exercício 5 · Exame Nacional Filosofia 1.ª fase 2024

Resolução

Segundo os critérios oficiais de classificação

De que modo poderia este argumento ser representado na linguagem da lógica proposicional?

Resposta: (D) ¬(P ∨ Q) ∴ ¬P ∧ ¬Q

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 4 · 1.ª fase 2024 · Exercício 6 · 1.ª fase 2024 ›

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

O exame completo · 1.ª fase (2024)