20/10/21 19:16:08.86 X1WgR8vT.net
>>989
>「aが有限小数である」⇔「ある自然数mが存在して、「n≧m ⇒ aの小数第n位=0」を満たす」
ここまで、書いたら 否定は以下のように書くのがカッコいい
「bが無限小数である」⇔「いかなる自然数mについても、あるn≧mが存在して、bの小数第n位は0でない」
20/10/21 19:16:08.86 X1WgR8vT.net
>>989
>「aが有限小数である」⇔「ある自然数mが存在して、「n≧m ⇒ aの小数第n位=0」を満たす」
ここまで、書いたら 否定は以下のように書くのがカッコいい
「bが無限小数である」⇔「いかなる自然数mについても、あるn≧mが存在して、bの小数第n位は0でない」