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) \rightarrow ¬ ∀ x \,A(x,x) !$

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