Dadas as proposições da lógica sentencial e as explicações...

Dadas as proposições da lógica sentencial e as explicações, associe a coluna da direita com a coluna da esquerda

I - (P → Q) → ((P ∨ R) → (Q ∧ S))

II - (P → Q) → ((P ∧ R) → (Q ∨ S))

X - a proposição é uma tautologia.

Y - a proposição é satisfatível, mas não é uma tautologia.

Z - a proposição é uma contradição.

As associações corretas são: