対偶による推論

「誰でも諦めなければ絶対に夢をかなえることができる」から「夢をかなえられなかった人たちは皆、諦めてしまった人たちだ」を導くのは、条件文とその対偶が論理的に同値であることによる妥当な推論である。