Exercício 2 · Exame Nacional Filosofia 2.ª fase 2026

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

Enunciado

2. Considere as proposições seguintes.

P: Alan Turing criou o primeiro computador moderno.

Q: Alan Turing concebeu um teste para decidir se as máquinas podem pensar.

É falso que estas proposições sejam condição necessária e suficiente uma da outra.

A representação da afirmação anterior na linguagem da lógica proposicional seria

()

  1. ¬P → ¬Q
  2. ¬(P ↔ Q)
  3. ¬(P → Q)
  4. ¬P ↔ ¬Q

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

Resolução

Segundo os critérios oficiais de classificação

A representação da afirmação anterior na linguagem da lógica proposicional seria

Resposta: (B) ¬(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 1 · 2.ª fase 2026 · Exercício 4 · 2.ª fase 2026 ›

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

O exame completo · 2.ª fase (2026)