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
Questão — da prova oficial, com gabarito conferido contra o gabarito publicado pela banca. Resolva abaixo e veja a explicação comentada.
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: prova oficial · Extração determinística com gabarito oficial conferido.
Nenhum comentário ainda. Seja o primeiro a explicar como resolveu.