Em um setor da prefeitura, vigora a seguinte regra, registrada em uma ordem de serviço: "Se o relatório é entregue, então o pagamento é liberado". Assinale a alternativa que apresenta uma proposição logicamente equivalente a essa regra: