Traduza as sentenças que seguem para a lógica de predicados:
Todo irmão do pai de Pedro é seu tio.
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: