否定前件の条件文の変換と非同値性

「先進国のCO2排出量が今よりも減らない限り、温暖化が止まらないか河川の流出量が増える」は、「CO2排出量が減るならば、温暖化の進行か流出量の増加の少なくとも一方は止められる」と論理的に同値でない。

前者は「¬Ｒ→（¬Ｓ∨Ｆ）」で、その対偶は「（Ｓ∧¬Ｆ）→Ｒ」である。後者は「Ｒ→（Ｓ∨¬Ｆ）」の形で、前者の対偶・逆・裏のいずれとも一致しない。