O predicado g(x, y) é avaliado como verdadeiro se ...

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

457941201848951

Ano: 2012Banca: CESGRANRIOOrganização: LIQUIGÁSDisciplina: Raciocínio Lógico e QuantitativoTemas: 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

Gabarito comentado

Anotações

Marcar para revisão

O predicado g(x, y) é avaliado como verdadeiro se “x gosta de y". A...

Questões relacionadas para praticar

O predicado g(x, y) é avaliado como verdadeiro se “x gosta de y". A...

Questões relacionadas para praticar