Uma empresa de tecnologia desenvolveu um sistema para automatizar decisões operacionais com base em regras da lógica proposicional. Antes da implantação do software, a equipe de auditoria revisou a proposição "Se o relatório foi validado, então o sistema libera a etapa seguinte", a fim de verificar se a programação identificava corretamente os elementos que compõem uma implicação lógica. Considerando exclusivamente essa proposição, assinale a alternativa que identifica CORRETAMENTE o antecedente e o consequente.