Considere as sentenças da lógica de primeira ordem...

Q: Considere as sentenças da lógica de primeira ordem a seguir. I - ∃x ∃y A(x,y) Λ ¬ ∃x A(x,x) II - ∀ x ∀y A (x,y) Λ ¬ ∀ x A (x,x) III - ∀ x ∀ A ( x, y) → ¬ ∀ xA (x, x) São insatisfatíveis APENAS as sent

A) I e II | B) III | C) I | D) II | E) II e III

457941201528791

Ano: 2011Banca: CESGRANRIOOrganização: PetrobrasDisciplina: Raciocínio Lógico e QuantitativoTemas: Introdução à Lógica | Proposições e Operadores Lógicos

Considere as sentenças da lógica de primeira ordem a seguir.

I - ∃x ∃y A(x,y) Λ ¬ ∃x A(x,x)

II - ∀ x ∀y A (x,y) Λ ¬ ∀ x A (x,x)

III - ∀ x ∀ A ( x, y) → ¬ ∀ xA (x, x)

São insatisfatíveis APENAS as sentenças apresentadas em

Gabarito comentado

Anotações

Marcar para revisão

Considere as sentenças da lógica de primeira ordem a seguir. I - ∃x...

Questões relacionadas para praticar

Considere as sentenças da lógica de primeira ordem a seguir. I - ∃x...

Questões relacionadas para praticar