μ,μ',ν：順序数
μ＜μ' ； 0＜ν ⇒ μν≦μ'ν

を示したいのですがこの命題の対偶は

μ'ν＜μν ⇒ μ'≦μ または 0=ν

でしょうか？