対偶

https://ja.wikipedia.org/wiki/%E5%AF%BE%E5%81%B6

対偶（たいぐう、英: Contraposition）とは、ある命題が成立する場合に、その命題の仮定と結論の両方を否定した命題も成立するという命題同士の関係性の事を言う。 命題「AならばB」に対する「BでないならAでない」という命題。