As proposições
• “Se o cliente não aprova o website, então o pagamento não é liberado.”
• “Se o pagamento é liberado, então o cliente aprova o website.”
• “O cliente aprova o website ou o pagamento não é liberado.”
não são todas logicamente equivalentes.