Traduza as sentenças que seguem para a lógica de predicados:
Todo irmão do pai de Pedro é seu tio.

Passo 1

Enunciado: Traduzir a frase “Todo irmão do pai de Pedro é seu tio” para a lógica de predicados. O conteúdo aqui é tradução de sentenças em linguagem natural para fórmulas em lógica de predicados. Vamos precisar dos seguintes símbolos: uma constante pedro que representa Pedro, e os predicados pai(x,y) (x é pai de y), irmao(x,y) (x é irmão de y) e tio(x,y) (x é tio de y).

Passo 2

A frase “Todo irmão do pai de Pedro” significa que para qualquer indivíduo x, se existe um indivíduo y que é pai de Pedro e x é irmão de y, então x deve ser tio de Pedro. Em lógica, esse “se … então” vira implicação, e o “para todo” vira quantificador universal; o “existe” aparece quando dizemos “pai de Pedro”.

Passo 3

Montando a fórmula final, temos:
forall x forall y l((pai(y,pedro) wed>= irmao(x,y)) to tio(x,pedro)r)

Resposta

forall x forall y l((pai(y,pedro) wed>= irmao(x,y)) to tio(x,pedro)r)

Exercícios relacionados