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