Simulado Banco Nacional de Desenvolvimento Econômico e Social - BNDES | Técnico Administrativo | 2019 pre-edital | Questão 155

Matemática / Matemática / Raciocínio lógico

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

Fonte: PROFISSIONAL JúNIOR - TECNOLOGIA DA INFORMAçãO - DESENVOLVIMENTO DE APLICAçõES / LIQUIGÁS / 2012 / CESGRANRIO