Concursos públicos

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órmulas

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