Em um sistema automatizado de validação, duas proposições são definidas da seguinte forma: p representa "o relatório foi aprovado" e q representa "o pagamento foi autorizado", sendo necessário avaliar expressões compostas utilizadas nas regras internas do sistema. Considerando apenas os valores lógicos atribuídos às proposições, admita que p seja verdadeira e q seja falsa e analise as afirmativas a seguir.

I.A proposição p ^ q possui valor lógico falso.
II.A proposição p v q possui valor lógico verdadeiro.
III.A proposição p → q possui valor lógico verdadeiro.
IV.A proposição q → p possui valor lógico verdadeiro.
V.A proposição ¬p v q possui valor lógico falso.

Está correto o que se afirma em: