Exercício 3 · Exame Nacional Filosofia 1.ª fase 2026

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

Enunciado

3. Considere o argumento seguinte.

Perry é um ornitorrinco; ora, se é um ornitorrinco, então tem bico, mas não é uma ave; por isso, Perry não é uma ave.

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

()

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

Enunciado: Exercício 3 · Exame Nacional Filosofia 1.ª fase 2026

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: (A) P, P → (Q ∧ ¬R) ∴ ¬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 2 · 1.ª fase 2026 · Exercício 1 · 2.ª fase 2026 ›

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

O exame completo · 1.ª fase (2026)