「全てが…なら」で始まる条件文の対偶

「全ての先進国のCO2排出量が2000年より20％以上多いなら、水資源が枯渇する地域も出てくる」は、「枯渇する地域がどこにもないなら、20％以上多い国はないということだ」とは論理的に同値でない。

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