Traduza as sentenças que seguem para a lógica de predicados:
Zé e Chico são amigos. Mas nem todo amigo de Zé é amigo de Chico e vice-versa

Passo 1

Vamos definir nosso universo como o conjunto de pessoas e o predicado Amigo(x,y) para ‘x é amigo de y’.

Passo 2

Para traduzir “Zé e Chico são amigos”, introduzimos duas fórmulas, pois a amizade aqui não foi assumida como automaticamente simétrica:
Amigo(z,c)
Amigo(c,z)

Passo 3

A sentença “Nem todo amigo de Zé é amigo de Chico” é a negação de “para todo x, se x é amigo de Zé então x é amigo de Chico”. Em forma prenex, fica:
exists xl(Amigo(x,z) land lnotAmigo(x,c)r)

Passo 4

O “vice-versa” gera uma fórmula análoga, trocando Zé por Chico:
exists xl(Amigo(x,c) land lnotAmigo(x,z)r)

Resposta

Amigo(z,c) land Amigo(c,z) land exists xl(Amigo(x,z) land lnotAmigo(x,c)r) land exists xl(Amigo(x,c) land lnotAmigo(x,z)r)

Exercícios relacionados