Sistemas Operacionais (TI)

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