Em uma auditoria interna, o responsável por um sistema de controle registrou a proposição: "Se o relatório mensal foi validado, então os dados financeiros foram conferidos", utilizando essa condição como critério para liberar uma etapa do processo.
Ao revisar o procedimento, outro servidor deverá substituir a proposição por uma sentença logicamente equivalente, isto é, que apresente exatamente os mesmos valores lógicos em todas as combinações possíveis das proposições simples.
Considere p: "o relatório mensal foi validado" e q: "os dados financeiros foram conferidos", de modo que a proposição registrada corresponde a p → q.
Qual proposição apresenta equivalência lógica com a condição registrada?