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 ∀y A(x,y)→¬∀x A(x,x) São insatisfatíveis APENAS as sentenças apresentadas em

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

Q456880

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

I - $\exists x \exists y A (x, y) \land \neg \exists x A (x, x)$

II - $\forall x \forall y A (x, y) \land \neg \forall x A (x, x)$

III - $\forall x \forall y A (x, y) \to \neg \forall x A (x, x)$

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

III

I e II

II e III