含意の結合法則

暇つぶしに見て

結合法則は(A∨B)∨C⇔A∨(B∨C)のようなかっこの位置を入れ替えても意味が変わらない法則。
含意にも成り立つのか確かめてみます。

スポンサーリンク

含意の結合法則

証明

1.(A→B)→C(仮定)
2.¬(¬A∨B)∨C(同値変形)
3.A∧¬B∨C(ド・モルガンの法則)
4.A∧B→C(同値変形)
5.¬(¬A∨¬(B→C))(ド・モルガンの法則)
6.¬(A→¬(B→C))(同値変形)

1.A→(B→C)(仮定)
2.A∧B→C(同値変形)
3.¬(¬A∨¬B)→C(ド・モルガンの法則)
4.¬(A→¬B)→C(同値変形)

2行目はリンクの変形を用いています。

無理やりかっこの位置を入れかえましたが、∨や∧のように同じ意味にはなりませんでした。

長濱陸Tシャツ

お求めはこちらから

お問い合わせはこちら

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

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

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

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

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

コメント

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