Traduza as sentenças para lógica de predicados (a resposta deve conter um glossário de predicados, funções e constantes utilizados):
Alguns políticos não são honestos.

Passo 1

O enunciado pede para traduzir a oração “Alguns políticos não são honestos” para a lógica de predicados.
Conteúdo: tradução de linguagem natural para lógica de predicados.
O que vamos precisar:
– Definir o domínio de discurso.
– Identificar o quantificador correspondente a “alguns”.
– Representar as propriedades “é político” e “é honesto” por predicados.

Passo 2

Análise das partes da frase:
  • “Alguns” corresponde ao quantificador existencial ∃.
  • “políticos” indica o predicado que chamaremos de Político(x).
  • “não são honestos” indica a negação do predicado Honesto(x), ou seja, ¬ Honesto(x).
  • As duas propriedades se combinam com o conectivo ∧, pois é preciso ser político e, ao mesmo tempo, não ser honesto.

Passo 3

Com isso, a fórmula em lógica de predicados fica
\exists x \bigl(\text{Político}(x)\land \lnot \text{Honesto}(x)\bigr).í

Resposta

Fórmula:
\exists x \bigl(\text{Político}(x)\land \lnot \text{Honesto}(x)\bigr).í
Glossário:
Predicados \text{Político}(x)í: “ x é um político” \text{Honesto}(x): “ x é honesto”
Domínio de discurso: pessoas.

Exercícios relacionados