暇つぶしに見て ∀と∃の交換律
基本的に我流定義なので、∀と∃の順番は気にしてませんでしたが「ちょっと待って、これ大丈夫？」と不安になったので ∀x∈X,∀y∈Y:P(x,y)⇔∀y∈Y,∀x∈X:P(x,y) が成り立つのか確認します。 ∀x∈X,∀y∈Y:P(x,y)...
論理学
暇つぶしに見て 暇つぶしに見て 我流負数の交換法則とか
いつかの我流定義。-a=-s(a)+1今朝、ふとこれは定義ではなく定理だなと。 -s(a)+1(前提)-(s(a)+(-1))(負数定義)-(a+1+(-1))(負数定義)-(a)(負数定義)-a(負数定義)s(a)+1=-a 乗法で負数を...
暇つぶしに見て 負数と正数の加法
数と負数を加法でどう結びつけるのか、を試します。 負数の我流定義-0=00×-a=0-1×-1=1a×-1=-a 正数（自然数）の場合の後者はs(a)=a+1 負数をa+(-a)=0という風に、自然数aに負数-aを足すと0となるような関係で...
暇つぶしに見て 代入原理と対称律と推移律
代入原理と同値関係 代入原理: 対象 a, b が a = b であるときには、一つの自由変数 x を含むどんな命題関数 P(x) についても P(a) ⇔ P(b) が（両辺ともに一意的な意味を持つ限りにおいて）常に成り立つ。Wikipe...
暇つぶしに見て 等号のカッコは外せるのか問題
数学を学んでいると何事も疑ってみる性格が身につきます。まあ、そんなひねくれた性格だから数学を楽しいと感じるのかもしれませんが。 今朝、目覚めて頭に浮かんだ疑問は(A=B)=CはA=B=Cに変形できるのか、()を外せるのか、です。自分でも完全...
暇つぶしに見て 1+2+3…n=の自然数の法則
名前があるのかは不明な、ある自然数の法則を証明します。 あるnまでの自然数を足した値1+2+3+…n=？？？を導く法則。 まずは簡単な法則の仮説を立てます。0+1から 0+1=1n=1の場合は以下の式が仮説として立ちます。 n(n+1)/2...
暇つぶしに見て 同値関係について、また考える
既に同値についてはどんな関係なのかを色々考えてきましたが、除法や減法のように我流で定義してみようと思います。 と言っても一度きちんとした定義は学んでいるので、なぜそのような定義になったのか？に個人的な文脈を与えます。 同値関係 等しいの認識...
暇つぶしに見て 除法の我流定義
我流の減法の次は除法（割り算）の定義を考えます。 我流除法 数学ではない除法、つまり半分って人の一般的な認識は頭の中でどんな処理が行われているのか、を考えてみます。例として「4の半分は2」で考えます。 2×2×1÷2×1=22×1÷1×1=...
暇つぶしに見て 乗法の交換法則その2
乗法の交換法則 すべての自然数 a に対して a × 0 = 0すべての自然数 a, b に対して a × suc(b) = (a × b) + aWikipedia 0×a=a×0 任意のaに0をかけると、aの位置にかかわらず0となること...
暇つぶしに見て 乗法の交換法則その1
乗法の交換法則を我流で証明します。その前段階としてa×0=0×aが真である証明。 乗法の交換法則の証明 すべての自然数 a に対して a × 0 = 0すべての自然数 a, b に対して a × suc(b) = (a × b) + aWi...
暇つぶしに見て 奇数が無限にある証明
我流数学やっていきます。今回も数学的帰納法の練習。奇数が無限個あることを証明します。 奇数が無限個ある証明 2n-1+1+1(前提)2n+2-1(加法)2(n+1)-1(分配法則)2k-1(代入)2n-1+1+1→2k-1(→導入) nは自...
暇つぶしに見て 加法と減法の認識
我流減法の次は我流で加法と減法の関係を定義します。 +と-の関係 加法と減法の認識の隙間を我流で埋めてみました。 a+b=c この加法が c-a=b この減法の形と関係していて欲しい。 つまりa+b=c→c-a=b が成立してほしい。と整合...