Questão de Raciocínio Lógico

Considere que “¬”, “∧” e “→” são, respectivamente, símbolos para a negação (“não”), conjunção (“e”) e condicional material (“se..., então...”) e que “p” e “q” são variáveis proposicionais. Ao se empregar os procedimentos das tabelas veritativas e, em seguida, do cálculo proposicional, pode-se concluir que a fórmula “(p → q) ÷ ¬(p ∧ ¬ q)”. I é uma contingência. II é uma contradição. III é uma tautologia. IV é um teorema. V não é um teorema. Estão certos apenas os itens