23/07/04 08:56:03.78 /n3Dlo7y.net
>>それ(>>285の帰結)を仮定した上で>>285の対偶を取っただけのこと
「n≧1 のとき多項式関数 f:R^n→R は連続関数」の対偶は
「多項式関数 f:R^n→R が連続関数でなければn<1」
23/07/04 08:56:03.78 /n3Dlo7y.net
>>それ(>>285の帰結)を仮定した上で>>285の対偶を取っただけのこと
「n≧1 のとき多項式関数 f:R^n→R は連続関数」の対偶は
「多項式関数 f:R^n→R が連続関数でなければn<1」