Questão 230432: O predicado g(x, y) é avaliado como verdadeiro se ?x g...

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 o...



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