数学とか 矛盾と恒真式の定理の証明
∨,∧と⊥,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)(→言い換...
数学とか 吸収律の証明
A⇔A∨(A∧B)A⇔A∧(A∨B)この定理が吸収律です、吸収律定義吸収法則（きゅうしゅうほうそく、英: Absorption law）は、代数学において1対の二項演算を結びつける恒等式である。吸収律あるいは簡約律とも。任意の二項演算 $ ...
数学とか B∨¬A⇔A→Bの証明
B∨¬A⇔A→BB∨¬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 ) を用いると、命題$\disp...
数学とか 論理和と論理積の分配法則 その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∧B→...
数学とか 論理積と論理和の結合法則
結合法則の演繹命題論理の結合法則を自然演繹の推論規則から導いてみます。結合法則は加法なら(A+B)+C=A+(B+C)と同値変形できる法則のことです。論理積の結合法則の証明1.A∧(B∧C)(前提)2.A,B∧C(除去)3.A,B,C(除去...
数学とか 論理積と論理和の分配法則 その1
今回はA∨(B∧C)⇔(A∨B)∧(A∨C)の分配法則です。論理積と論理和の分配法則前回と同じ戦略です。証明1.(仮定)2.A∨B(∨導入)4.A∨C(∨導入)5.(A∨B)∧(A∨C)(∧導入)6.A→(A∨B)∧(A∨C)(→導入)7....
数学とか 否定の導入
別の記事でもやりましたが、復習もかねて簡潔に否定の推論規則だけ復習します。否定の導入⇔背理法Pであると仮定し矛盾（恒偽式）が導けた場合、¬Pが演繹できます。ある人が長濱陸であるとする命題Pを仮定して、如何なる解釈においてもその人の身長、性別...
数学とか 閉じた仮定と開いた仮定
命題論理と自然演繹の仮定について復習も兼ねて現時点での僕の概観をまとめていきます。数学や論理学は「仮定」や「これだけは正しいと認めてしまおう」と歴史的に合意されたある公理に「これだけは正しいと認めてしまおう」と合意された変形（推論）の規則を...
数学とか 論理和と論理積の交換法則
A∨B=B∨A,A∧B=B∧Aの自然演繹。前提A,Bから出発して仮定の導入、解消でやれないか挑戦してみます。論理和の交換法則1.A∨B(前提)2.A(仮定1)3.B∨A(∨導入)4.A→B∨A(→導入.仮定1解消)5.B(仮定)6.B∨A(...