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: