Associe as explicações a seguir às respectivas fórmulas.
| I - É uma tautologia | P- !$ ∃ x ∃ \, y A (x,y)∧¬∃x \, A(x,x) !$ |
| II - É satisfatível, mas não é uma tautologia | Q- !$ ∀x ∀ y A(x,y)∧¬ ∀x∀(x,x) !$ |
| III - É insatisfatível | R- !$ ∀x ∀ y A(x,y)\rightarrow ∃x∀yA(x,y) !$ |
| S- !$ ∀x ∀ y A(x,y)\rightarrow ∃x ¬∀yA(x,y) !$ |
As associações corretas são:
