Ciência da Computação Aspecto Gerais Algoritmos Análise de Algorítimos

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

  • A.

  • B.

  • C.

  • D.

  • E.