数学とか 全称導入
所謂一般化ってやつじゃないなと。全称記号∀除去は別名「普遍汎化」とも呼ぶようです。普遍汎化定義もし$\displaystyle \vdash P(x)$が導出されていれば、$\displaystyle \vdash \forall x\,P...
論理学
数学とか 数学とか 1×0=0と1×1=1の証明
自然数の乗法定義自然数の加法は再帰的に、以下のように定義できる。すべての自然数 a に対して、a + 0 = aすべての自然数 a, b に対して、a + suc(b) = suc(a + b)1 := suc(0) と定義するならば、su...
数学とか 1+1=1×2の証明
自然数の加法と乗法定義自然数の加法は再帰的に、以下のように定義できる。1.すべての自然数 a に対して、a + 0 = a2.すべての自然数 a, b に対して、a + suc(b) = suc(a + b)1 := suc(0) と定義す...
数学とか 偶数と奇数の述語論理の表現
なんとなくで述語論理の論理式を作ってみます。偶数と奇数を述語論理で表現してみます。我流なので悪しからず。述語論理の練習偶数∀k∈Ν∃x∈Ν(2k=x)任意の自然数kに対するある自然数xが存在する、それは2k=xを満たすような関係である任意に...
数学とか 含意から三段論法を演繹
三段論法と仮定証明下のような論理式「AならばBかつBならばC、ならばAならばCである」(A→B∧B→C)→(A→C)「AならばBかつBならばCかつCであるならば、AならばCである」(A→B∧B→C)∧A→C大枠の含意(A→B∧B→C)∧A→...
数学とか 述語論理の全称記号と存在記号
命題論理は一通り終わったので、発展形の述語論理へ進みます。ここから数学っぽくなります。全称記号と存在記号定義全称記号（ぜんしょうきごう、universal quantifier）とは、数理論理学において「全ての」（全称量化）を表す記号である...
数学とか 因果関係の認識と数学
因果関係による人の認識を抽象的に説明すると、前提が真なら常に結論も真となるよな命題の組合せと言えると思います。で、因果関係は原因と結果を勝手に結びつけて認識すること。因果関係による認識認識の例例)押した、だから動いた押した=A,動いた=BA...
数学とか 排中律の証明
排中律定義排中律（はいちゅうりつ、英: Law of excluded middle、仏: Principe du tiers exclu）とは、論理学において、任意の命題 P に対し"P ∨ ¬P"（P であるか、または P でない）が成...
数学とか 後件否定と前件肯定の証明
後件肯定と前件肯定と後件否定と前件否定前件肯定の証明1.(A→B)∧A(仮定)2.(A→B),A(∧除去)3.B(→除去)4.((A→B)∧A)→B(→導入)後件否定の証明1.A→B,¬B(仮定)2.A(仮定)3.B(→除去)4.B∧¬B(...
数学とか 矛盾と恒真式の定理の証明
∨,∧と⊥,Tの関係。の矛盾と恒真式の定理恒偽式(矛盾)と恒真式の定理の証明。A⇔A∨⊥∨と⊥の関係。1.(仮定)2.A(仮定)3.A(同語反復)4.A→A(→導入)5.(仮定)6.A(矛盾除去)7.⊥→A(→導入)8.A(∨除去)9.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)(→言い換...