Questão de Raciocínio Lógico

Considere que “¬”, “∧”, “∨” e “→” são, respectivamente, símbolos para a negação (“não”), conjunção (“e”), disjunção (“e/ou”) e para o condicional material (“se..., então...”) e que “∀” e “∃” são, respectivamente, o quantificador universal e o quantificador existencial. Considere, ainda que “Px”, “Qx”, “Rx” e “Sx” são predicados monádicos (ou de aridade 1) e que as fórmulas “∀x[Px → (Qx ∨ Rx)]” e “∀x¬(Qx ∨ Rx)” são premissas de um argumento. As conclusões dedutíveis dessas premissas estão contidas nas fómulas I ∀x(Px → ¬Sx). II ¬∃x¬Px. III ∃x(Qx ∨ Qx). IV ∀x¬(Px ∧ Sx). V ∃x(Rx ∧ Rx). Estão certos apenas os itens