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,y)
Q= ∀x∀yA( x,y)∧¬∀x∀(x,y)
R= ∀x∀yA(x,y)-->∃x∀yA(x,y)
S= ∀x ∀y A(x,y) --> ∃x¬∀yA(x,y)
As associações corretas são: