>>84
> μ＜μ' ； 0＜ν ⇒ μν≦μ'ν
が
(μ＜μ' かつ 0＜ν) ⇒ μν≦μ'ν
という命題なら、その対偶は
μ'ν＜μν ⇒ (μ'≦μ または 0=ν)
でいいんじゃない？