股関節おじさんの勉強部屋 自然数の0+x=xの証明
x+0=xは定義されていますが、逆バージョン0+x=xは証明定義されていませんのて証明していきます。 0+x=x 証明 1.0+0(仮定)1.0(加法定義)3.0+0⇔0…14.0+1(仮定)5.S(0+0)(加法定義)6.S(0)(1より...
自然演繹
股関節おじさんの勉強部屋 股関節おじさんの勉強部屋 1×0=0と1×1=1の証明
自然数の乗法 定義 自然数の加法は再帰的に、以下のように定義できる。すべての自然数 a に対して、a + 0 = aすべての自然数 a, b に対して、a + suc(b) = suc(a + b)1 := suc(0) と定義するならば、...
股関節おじさんの勉強部屋 1+1=1×2の証明
自然数の加法と乗法 定義 自然数の加法は再帰的に、以下のように定義できる。1.すべての自然数 a に対して、a + 0 = a2.すべての自然数 a, b に対して、a + suc(b) = suc(a + b)1 := suc(0) と定...
股関節おじさんの勉強部屋 因果関係の認識と数学
因果関係による人の認識を抽象的に説明すると、前提が真なら常に結論も真となるよな命題の組合せと言えると思います。で、因果関係は原因と結果を勝手に結びつけて認識すること。 因果関係による認識 認識の例 例)押した、だから動いた押した=A,動いた...
股関節おじさんの勉強部屋 矛盾と恒真式の定理の証明
∨,∧と⊥,Tの関係。 の矛盾と恒真式の定理 恒偽式(矛盾)と恒真式の定理の証明。 A⇔A∨⊥ ∨と⊥の関係。 1.(仮定)2.A(仮定)3.A(同語反復)4.A→A(→導入)5.(仮定)6.A(矛盾除去)7.⊥→A(→導入)8.A(∨除去...
股関節おじさんの勉強部屋 双対とド・モルガンの法則
双対という概念に遭遇しました。これについて考えていきます。 双対とド・モルガンの法則 定義 【双対】命題を論理式として表したとき、論理和 ∨ と論理積 ∧ とをすべて入れ替え、全称記号 ∀ と存在記号 ∃ とをすべて入れ替えたものをもとの論...
股関節おじさんの勉強部屋 (A∧B)→C⇔A→(B→C)の証明
これまでに証明した命題論理の定理を用いた証明を行います。 (A∧B)→C⇔A→(B→C) 証明 1.(仮定)2.¬(A∧B)∨C(→言い換え)3.¬A∨¬B∨C(ド・モルガンの法則)4.¬A∨(¬B∨C)(結合法則)5.A→(¬B∨C)(→...
股関節おじさんの勉強部屋 吸収律の証明
A⇔A∨(A∧B)A⇔A∧(A∨B)この定理が吸収律です、 吸収律 定義 吸収法則（きゅうしゅうほうそく、英: Absorption law）は、代数学において1対の二項演算を結びつける恒等式である。吸収律あるいは簡約律とも。任意の二項演算...
股関節おじさんの勉強部屋 B∨¬A⇔A→Bの証明
B∨¬A⇔A→B B∨¬A→(A→B)の証明から 証明 1.(仮定)2.(仮定)3.(B∨¬A)∧A(∧導入)4.B(選言三段論法)5.A→B(→導入)6.(B)∨¬A→(A→B)(→導入) 選言的三段論法は定理です。詳しい証明はリンクから...
股関節おじさんの勉強部屋 対偶の証明
対偶について。対偶はA→B⇔¬B→¬A 対偶の自然演繹 定義 【対偶】命題「AならばB」の対偶は「BでないならばAでない」である。 論理記号として「ならば (⇒\Rightarrow )」および否定 (¬\neg ) を用いると、命題$\d...
股関節おじさんの勉強部屋 論理和と論理積の分配法則 その3
(A∨B)∧(A∨C)⇔A∨(B∧C)は同値変形できたので、次はコレ。(A∧B)∨(A∧C)⇔A∧(B∨C) 論理和と論理積の分配法則 証明 1.,(仮定1,仮定2)2.A,B(∧除去)3.B∨C(∨導入)4.A∧(B∨C)(∧導入)5.A...
股関節おじさんの勉強部屋 論理積と論理和の結合法則
結合法則の演繹 命題論理の結合法則を自然演繹の推論規則から導いてみます。結合法則は加法なら (A+B)+C=A+(B+C) と同値変形できる法則のことです。 論理積の結合法則の証明 1.A∧(B∧C)(前提)2.A,B∧C(除去)3.A,B...