股関節おじさんの勉強部屋 論理積と論理和の分配法則 その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)(→導...
自然演繹
股関節おじさんの勉強部屋 股関節おじさんの勉強部屋 否定の導入
別の記事でもやりましたが、復習もかねて簡潔に否定の推論規則だけ復習します。 否定の導入⇔背理法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...
股関節おじさんの勉強部屋 現象には意味があって欲しいという人の願望
自然演繹の現時点の僕の疑問とそれに対する解釈を書き出して頭を整理します。 「仮定」について 推論て何 論理学の推論の成立に関する現時点の僕なりの文脈を無造作に与えると以下のような感じ。 現象を観察する↓前提（事実）を抽出する↓「前提が真なら...