A→BかつB→Aを同等というのは初めて聞いた
同値のことだろう
矛盾命題は全て同値であることを示す
その前に矛盾命題が任意の命題を証明できる(爆発律)ことを示す
P∧¬Pとすると、Qを任意の命題として、
P∧¬PからPが成り立つ
PからP∨Qが成り立つ
P∨Qと¬Pから、Qが成り立つ
よってP∧¬Pから任意の命題Qが成り立つ
A∧¬AとB∧¬B、2つの矛盾命題を考えると、爆発律より、A∧¬A→B∧¬BもA∧¬A←B∧¬Bも成り立つ
したがってA∧¬A⇔B∧¬B
数学基礎論・数理論理学 その19
■ このスレッドは過去ログ倉庫に格納されています
109132人目の素数さん
2024/03/28(木) 09:27:31.24ID:QWbPSH/b■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【速報】 習近平氏 「日本は新軍国主義だ」 トランプ米大統領 「高市首相と直接対談しろ」 米中首脳会談 [お断り★]
- [【農相報道】国交省が調査 簗氏「回答せず」繰り返し [蚤の市★]
- 「ブルーカラー」の仕事が人気 「努力次第で年収1000万、2000万に」 人手不足とAI台頭でホワイトカラーは入れ替え [お断り★]
- ICC赤根所長への制裁撤回求める署名「17万筆超」提出、小学生「私はただの日本人の一人ですが…1ミリでも平和に近づくことを」 [少考さん★]
- 中国、高市首相に「極めて厳しい姿勢」と岩屋氏 対話再開は呉江浩 駐日大使に一任 [少考さん★]
- 10月から電気代は過去最高の値上げ、高市政権が電気代とガス代の補助金支出を終了 [お断り★]
- 「維新」というクソ。なぜ国民は一時的にこんなクソたちに騙されてしまったの? [653462351]
- 【動画】日本人のお給料、想像以上に低かった…😱 [668024367]
- 【高市悲報】戦時中のプロパガンダ本、やってることが令和とほぼ同じだった [834922174]
- 【画像】ジャップランドの給食、限界突破wwwwwwww [834922174]
- 【画像】フジテレビ、「いいべ」しまくった結果としてこの程度のルックスでも女子アナに採用してしまうwww [779857986]
- 【悲報】自動運転車、日本のクソ狭クソ道路を攻略wwwwwwwwwwwwwwwwwwwwwwwwwwwww🚶‍♂🚗🚴‍♂ [398059782]