対偶
「AならばB」
が成り立つなら
「not Bならばnot A」
も成り立つ