Questão 858083

Associe as explicações a seguir às respectivas fórmulas.

I - É uma tautologia

II - É satisfatível, mas não é uma tautologia

III - É insatisfatíve

P- ƎxƎyA(x,y) ^ \(\lnot\) ƎxA(x,x)

Q- ∀x∀yA(x, y)^ \(\lnot\) ∀xA(x,x)

R- ∀x∀yA(x, y) Ǝx∀yA(x,y)

S- ∀x∀yA(x, y) Ǝx \(\lnot\) ∀yA(x,y)

As associações corretas são: