Concursos públicos

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