- 0.99999……は１ではない その３
958 ：１３２人目の素数さん[]：2020/02/14(金) 12:50:24.80 ID:TDJhfa4J - >>956
で、1.000....-1は0より大きいんですか？小さいんですか？
|
- 0.99999……は１ではない その３
967 ：１３２人目の素数さん[]：2020/02/14(金) 22:21:22.34 ID:TDJhfa4J - >>966
まとめ
•無限小数は同じ表記でも異なる性質を持つ
1-0.999....=0.000....＞0だけど、0.0000....が全ての桁が0という場合は0.000...=0
•たとえ同じ成り立ちの無限小数でも、等号は一般に成り立たない
1-0.999....=0.000....のとき、0.000......=0.000....、0.000....＞0.000....いずれも成り立つ
(0.01＞0.001となることがある)
あってますか？
|
- 大学学部レベル質問スレ 13単位目
135 ：１３２人目の素数さん[sage]：2020/02/14(金) 23:26:00.54 ID:TDJhfa4J - 統語と意味との区別をつけるところからですかね
普通の日本語とかの言語では、文法的には正しいけど何言ってるかよくわからんみたいなことがありますよね
言語には、記号の並べ方が規則通りかという面と、その意味は何かという二つの側面があるわけです
形式論理も同じです
論理式を作る際にどのようなものが論理式になれて、また論理式をいじる操作としてはどのようなものがあるのか、という統語的な側面
できた(閉)論理式の真偽はどうなっているのか、という意味的な側面
ここで大事なのは、統語的な側面は誰にとっても不変的ですが、論理式の意味、すなわち論理式の真偽というのは人によって変わるということです
各論理式に真偽を当てはめる規則がモデルですね
車は左側通行である
日本では真の命題ですが、アメリカでは違いますね
モデルが違えば、真偽は変わるというわけですね
|