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