Concurso:
Petrobras
Disciplina:
Raciocínio Lógico
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
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
