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.
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.
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
Resposta
Fórmula:
Glossário:
Predicados : “
é um político”
: “
é honesto”
Predicados
Domínio de discurso: pessoas.