Traduza as sentenças que seguem para a lógica de predicados:
Todo político é desonesto.
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”
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”.