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.