対偶が真なら元の条件式も真