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