暇つぶしに見て 無矛盾律と排中律の自然演繹 無矛盾律 無矛盾律(むむじゅんりつ、英: Law of noncontradiction)は、論理学の法則であり、アリストテレスによれば「ある事物について同じ観点でかつ同時に、それを肯定しつつ否定することはできない」こと。Wikipedia... 2024.04.18 暇つぶしに見て
よもやま話 議論の枠組みを疑う 常識や科学などの社会通年は無条件に当然の議論の枠組みとして受け入れられています。 ネットの辺境にある僕のブログへ読者の皆さんがたどり着いたのはきっと、現実を覆っているボクシングジムの様々なマトリックスに違和感を覚えたからではないかと思います... 2024.04.16 よもやま話技術
暇つぶしに見て 背理法などの議論の枠組み 恒真式恒真式(こうしんしき、トートロジー、英: tautology、ギリシャ語のταυτο「同じ」に由来)とは論理学の用語で、「aならば aである (a → a) 」「aである、または、aでない (a ∨ ¬a)」のように、そこに含まれる命... 2024.04.16 暇つぶしに見て
未分類 論理和と論理積の分配法則 その4 引用の記事の続きです。(A∧B)∨(A∧C)→A∧(B∨C)とA∧(B∨C)→(A∧B)∨(A∧C)を証明して必要十分条件が成り立ちますが、後者の証明がされていませんでした。 というわけで下の同値関係の証明に挑戦。A∧(B∨C)⇔(A∧B)... 2024.03.14 未分類
暇つぶしに見て ∀と∃の交換律 基本的に我流定義なので、∀と∃の順番は気にしてませんでしたが「ちょっと待って、これ大丈夫?」と不安になったので ∀x∈X,∀y∈Y:P(x,y)⇔∀y∈Y,∀x∈X:P(x,y) が成り立つのか確認します。 ∀x∈X,∀y∈Y:P(x,y)... 2024.03.12 暇つぶしに見て
暇つぶしに見て 我流負数の交換法則とか いつかの我流定義。-a=-s(a)+1今朝、ふとこれは定義ではなく定理だなと。 -s(a)+1(前提)-(s(a)+(-1))(負数定義)-(a+1+(-1))(負数定義)-(a)(負数定義)-a(負数定義)s(a)+1=-a 乗法で負数を... 2024.03.10 暇つぶしに見て
暇つぶしに見て 負数と正数の加法 数と負数を加法でどう結びつけるのか、を試します。 負数の我流定義-0=00×-a=0-1×-1=1a×-1=-a 正数(自然数)の場合の後者はs(a)=a+1 負数をa+(-a)=0という風に、自然数aに負数-aを足すと0となるような関係で... 2024.03.03 暇つぶしに見て
暇つぶしに見て 代入原理と対称律と推移律 代入原理と同値関係 代入原理: 対象 a, b が a = b であるときには、一つの自由変数 x を含むどんな命題関数 P(x) についても P(a) ⇔ P(b) が(両辺ともに一意的な意味を持つ限りにおいて)常に成り立つ。Wikipe... 2024.02.25 暇つぶしに見て
暇つぶしに見て 等号のカッコは外せるのか問題 数学を学んでいると何事も疑ってみる性格が身につきます。まあ、そんなひねくれた性格だから数学を楽しいと感じるのかもしれませんが。 今朝、目覚めて頭に浮かんだ疑問は(A=B)=CはA=B=Cに変形できるのか、()を外せるのか、です。自分でも完全... 2024.02.25 暇つぶしに見て
暇つぶしに見て 1+2+3…n=の自然数の法則 名前があるのかは不明な、ある自然数の法則を証明します。 あるnまでの自然数を足した値1+2+3+…n=???を導く法則。 まずは簡単な法則の仮説を立てます。0+1から 0+1=1n=1の場合は以下の式が仮説として立ちます。 n(n+1)/2... 2024.01.24 暇つぶしに見て
暇つぶしに見て 同値関係について、また考える 既に同値についてはどんな関係なのかを色々考えてきましたが、除法や減法のように我流で定義してみようと思います。 と言っても一度きちんとした定義は学んでいるので、なぜそのような定義になったのか?に個人的な文脈を与えます。 同値関係 等しいの認識... 2024.01.18 暇つぶしに見て
暇つぶしに見て 除法の我流定義 我流の減法の次は除法(割り算)の定義を考えます。 我流除法 数学ではない除法、つまり半分って人の一般的な認識は頭の中でどんな処理が行われているのか、を考えてみます。例として「4の半分は2」で考えます。 2×2×1÷2×1=22×1÷1×1=... 2024.01.16 暇つぶしに見て