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

Q456826

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) ^ $\neg$ ƎxA(x,x)

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

R- ∀x∀yA(x, y) $\to$ Ǝx∀yA(x,y)

S- ∀x∀yA(x, y) $\to$ Ǝx $\neg$ ∀yA(x,y)

As associações corretas são:

I - P , II - Q , III - R

I - Q , II - P , III - S

I - Q , II - R , III - S

I - R , II - P , III - Q

I - R , II - S , III - P

Associe as explicações a seguir às respectivas fórmulas.I - É uma tautologiaII - É sati...