O predicado g(x, y) é avaliado como verdadeiro se x gost...

#Questão 110300 - Ciência da Computação, Análise de Algorítimos, CESGRANRIO, 2012, Liquigás Distribuidora SA, Profissional Júnior

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

Navegue em mais questões

{TITLE}

{CONTENT}

{TITLE}

{CONTENT}
Estude Grátis