古典論理体系では複数の前提には可換性が成り立ちます。つまり前提を入れ替えても正しい推論になります。また、論理体系の公理や定理となる論理式は、推論法則そのものの表記にも成り得ます。つまり、論理体系の公理や定理は、その体系で成立する推論法則自体をモデルとするものとも言えます。 . . . 本文を読む
goo blog お知らせ
プロフィール
最新記事
カテゴリー
最新コメント
- spica1/黒き盾の向こう側[beyond the Schwarzschild] -2-
- レンマ学/０(ゼロ)は自然数か否か -1-
- レンマ学/ゲーデルの定理-2.3- 自然数の公理系
- 正則一皐月闇のニンフたち/ゲーデルの定理-2.3- 自然数の公理系
- Maria/黒き盾の向こう側[beyond the Schwarzschild] -1-
- Maria/カラスの逆説-1-
- Maria/コロナも国により(6):目立たぬ優等生ベトナム
- カオス ⇔ コスモス/光の粒子説と波動説
- カオス ⇔ コスモス/０(ゼロ)は自然数か否か -1-
- 式神自然数/ゲーデルの定理-2.3- 自然数の公理系
