Considere as proposições lógicas a seguir:

p: "Ana estuda para a prova."
q: "Ana passa na prova."

A partir dessas proposições, temos a proposição composta (p→q)V(~pVq). Sobre esta proposição, é correto afirmar que se trata de uma: