Lógicas Clássicas
Resolução
EXEMPLO:
Homem(Marco)
Pompeiano(Marco)
?x Pompeiano(x) ? Romano(x)
Soberano(Cesar)
?x Romano(x) ? (LealA(x,Cesar) v Odiar(x,Cesar))
?x?y LealA(x,y)
?x?y (Homem(x) ^ Soberano(y)) v (TentarAssassinar(x,y) ^ LealA(x,y))
TentarAssassinar(Marco,Cesar)
Logo, Odiar(Marco, Cesar)