Questão
ID 1448469Disciplina: Raciocínio Lógico
Assunto: Simbologia dos Quantificadores Lógicos
Ano: 2012 Banca: Fundação CESGRANRIO Órgão: Liquigás Distribuidora S.A.
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