Questão 1428766

• Banca: CESGRANRIO
• Órgão: LIQUIGÁS
• Ano: 2012
• Provas: CESGRANRIO - 2012 - LIQUIGAS - Profissional Júnior - Desenvolvimento de Aplicações
• Disciplina: Raciocínio Lógico
• Assuntos: Lógica de Argumentação - Diagramas e Operadores Lógicos

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. ¬g(i, i) → ∀x¬g(i, x)
• B. ¬g(i, i) → ¬∀x¬g(i, x)
• C. Ǝx g(x, i) → ¬Ǝx¬g(i, x)
• D. Ǝx g(i, x) → ¬∀x¬g(i, x)
• E. ¬Ǝx¬g(x, i) → ¬∀x¬g(i, x)

Gabarito: A

Comentários

• letra a)

  ¬g(i, i) → ∀x¬g(i, x)

  (i não gosta de i) → (para todo x, i não gosta de x)

  ou seja, se eu não gosto de mim mesmo, então não gosto de qualquer outra pessoa.

• Mais oque é isssooo? oque é issooo? kkk

• Qualquer outra é o TODO (∀x).