暇つぶしに見て 一般化の雰囲気
∃除去の話の続き。∃除去、導入の推論規則を読んだだけだと、どうしてそれが必要なのかが感じられない。なんとなく、人が法則を一般化させる認識が根底にはあるんだろうな、とは感じられますが、しっくりはこない。 一般化の雰囲気 参考にしている本にこん...
自然演繹
暇つぶしに見て 
暇つぶしに見て 全称除去の定義と練習問題
述語論理における全称記号∀を取り除く推論規則を見ていきます。 別名を普遍例化と呼ぶようです。 全称除去(普遍例化) 定義 例:「全ての犬は動物である。ポチは犬である。従って、ポチは動物である」ある項 a について公理スキーマとして記号的に表...
暇つぶしに見て 全称導入の練習問題
やりながら全称導入の理解を深めます。 全称導入 ∀x∀yP(x, y) ⊢ ∀y∀xP(x, y) 1.∀x∀yP(x, y)(前提)2.∀yP(x,y)(∀除去)3.P(x,y)(∀除去)4.∀xP(y)(∀導入)5.P(y,x)(∀導入...
暇つぶしに見て 全称導入と仮定の解消
∀導入定義の人の認識を結びつけるために藻掻きます。 全称導入と仮定の解消 定義 これが全称導入の定義 A(c)⊢∀x∈X:A(x)WIIS A(c)の論理式を満たすようなcは集合Xの任意の要素xに対しても成立する。cは全てのXの要素を表現す...
暇つぶしに見て 自然数の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対の二項演算を結びつける恒等式である。吸収律あるいは簡約律とも。任意の二項演算...