存在を前件とする条件文の対偶

「先進国の中にCO2排出量が20％以上多い国があるなら、あらゆる地域で水資源が枯渇してしまう」は、「水資源が枯渇しない地域があるなら、先進国の中には20％以上多くはない国があったということだ」とは論理的に同値でない。

前者の対偶は「枯渇しない地域があるなら、20％以上多い国は1つもない」であり、後者より強い主張である。