対偶
たいぐう contraposition (math) married couple