Traduza as sentenças que seguem para a lógica de predicados:
Todo político é desonesto.

Passo 1

A sentença diz que todo indivíduo que for político também é desonesto, e estamos trabalhando com Lógica de Predicados para representar esse tipo de afirmação.

Passo 2

Definimos o universo de discurso como o conjunto de todas as pessoas, e introduzimos dois predicados:
P(x): “x é político”
D(x): “x é desonesto”

Passo 3

Para expressar “todo político é desonesto” usamos a quantificação universal e uma implicação, pois queremos dizer que, para qualquer pessoa x, se ela é política então ela é desonesta.

Passo 4

A forma final em Lógica de Predicados fica: ∀x (P(x) → D(x)), que se lê “para todo x, se x é político então x é desonesto”.

Resposta

forall xl(P(x) to D(x)r)

Exercícios relacionados