対偶の定理
AならBが正しいならBでないならAでないも必ず等しい

背理法の定理
Aを仮定してAでないが導かれるなら、Aでない