Em um sistema de controle interno, considere as proposições p: "o cadastro está regular" e q: "a solicitação será liberada". A regra adotada pelo setor é representada por p → q, e a equipe pretende identificar expressões que preservem exatamente o mesmo significado lógico, independentemente dos valores assumidos por p e q. Analise as assertivas:
I.A expressão ¬p v q é equivalente a p → q.
II.A expressão ¬q → ¬p é equivalente a p → q.
III.A expressão ¬p → ¬q é equivalente a p → q.
IV.A expressão ¬(p ^ ¬q) é equivalente a p → q.
V.A expressão p v ¬q é equivalente a p → q.
Está correto o que se afirma em: