As proposições • “Se o cliente não aprova o website, então...
• “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.