Ano: 2012 Banca: CESGRANRIO Órgão: LIQUIGÁS Prova: Profissional de Tecnologia da Informação - Desenvolvimento de Aplicações
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
Imagem da Opção A
B
Imagem da Opção B
C
Imagem da Opção C
D
Imagem da Opção D
E
Imagem da Opção E