閉じた仮定と開いた仮定

暇つぶしに見て
暇つぶしに見て

命題論理と自然演繹の仮定について復習も兼ねて現時点での僕の概観をまとめていきます。

数学や論理学は「仮定」や「これだけは正しいと認めてしまおう」と歴史的に合意されたある公理に「これだけは正しいと認めてしまおう」と合意された変形(推論)の規則を適用して、元々の形を別の形に同値変形させ、元のそれとは異なる解釈を与えられるようにしている、と現時点では理解しています。なので仮定を理解するのは大切です。

スポンサーリンク

閉じた仮定と開いた仮定

閉じた仮定から

ざっくりとした理解をつらつらと書きます。

含意の導入規則を適用する場合、仮定となるAは解消されます。
慣習として[A]と表現されます。

1.[A](仮定)
2.B(演繹された結論)
3.A→B(→導入)

Aを仮定し、推論規則に従った同値変形を繰り返しBを演繹できたなら、仮定のAを解消しA→Bと結論することができます。
この場合は仮定のAと結論のA→Bは切り離されています。つまり、仮定のAは→導入規則によって解消され、使い方が正しいかは分かりませんが、所謂定理として振る舞います。

他の例も。

1.[A→(B→C)](仮定)
2.[A](仮定2)
3.B→C(→除去)
4.[B](仮定)
5.C(→除去)
6.A→C(→導入)
7.B→(A→C)(→導入)
8.A→(B→C)→B→(A→C)(→導入)

途中で導入した仮定のAとB、A→(B→C)は解消され

A→(B→C)→B→(A→C) 

は仮定なしでも成立します。
2の3乗通りなので、一応確認してみます

[table id=8 /]

前提A→(B→C)が真なら結論も真を満たす妥当な推論です。

長濱陸Tシャツ

お求めはこちらから

お問い合わせはこちら

パーソナルトレーニングやグループトレーニング、セミナーや取材、YouTubeコラボなどのご依頼はこちらからよろしくお願いします。

トレーニングの依頼などはこちらから

スポンサーリンク
Die Hard – ダイ・ハード
この記事を書いた人

第41第東洋太平洋(OPBF)ウェルター級王者
元WBC世界同級34位
元WBO-AP同級3位
元角海老宝石ジム所属

股関節おじさんをフォローする
スポンサーリンク
スポンサーリンク
股関節おじさんをフォローする

コメント

タイトルとURLをコピーしました