- 【悲報】数学者の9割が"クラス"の厳密な定義を言えないことが判明ｗｗｗ
74 ：１３２人目の素数さん[]：2019/12/03(火) 15:57:28.13 ID:mgr0kJo1 - >>69
命題論理の最初の命題は真偽は外に依存するが
命題論理の内部で真偽が定まる論理命題を作り事もできる
たとえば
論理命題の交換律や結合律や分配律を使用して
集合の交換律や結合律や分配律に対応させることもできるし
集合Ｘ、Ｙに対して
交換律 Ｘ∩Ｙ＝Ｙ∩Ｘは
∩の定義＝｛ｘ；ｘ∈Ｘ かつ ｘ∈Ｙ｝
論理の交換律により ∩の定義＝｛ｘ：ｘ∈Ｙ かつ ｙ∈Ｘ｝
∩の定義＝Ｙ∩Ｘ
ようするに「集合の性質」を「論理の性質」に帰着させるということ
| - 数学と物理学って何で統合しないの？
162 ：１３２人目の素数さん[]：2019/12/03(火) 20:06:28.70 ID:mgr0kJo1 - >>161
「富士山は日本で一番高い山」という命題の真偽は
実際に富士山の山の高さを計測し 更に日本の他の山の高さも全て計測して
比較する必要があるから実験だろうね
|
|