O predicado g(x, y) é avaliado como verdadeiro se x gosta de y.
A sentença se uma pessoa não gosta de si mesma então não gosta de qualquer outra pode ser expressa em lógica de primeira ordem como{TITLE}
{CONTENT}
{TITLE}
Aguarde, enviando solicitação...