09/03/25 15:53:21
μ,μ',ν：順序数
μ＜μ' ； 0＜ν ⇒ μν≦μ'ν
を示したいのですがこの命題の対偶は
μ'ν＜μν ⇒ μ'≦μ または 0=ν
でしょうか？
09/03/25 15:53:21
μ,μ',ν：順序数
μ＜μ' ； 0＜ν ⇒ μν≦μ'ν
を示したいのですがこの命題の対偶は
μ'ν＜μν ⇒ μ'≦μ または 0=ν
でしょうか？
09/03/25 15:53:21
μ,μ',ν：順序数
μ＜μ' ； 0＜ν ⇒ μν≦μ'ν
を示したいのですがこの命題の対偶は
μ'ν＜μν ⇒ μ'≦μ または 0=ν
でしょうか？