A 回答 (3件)
- 最新から表示
- 回答順に表示
No.3
- 回答日時:
最小論理というのは知らなかったので、ご指定のサイトを読ましていただきました。
そこでは、¬A → (A→B) を公理として最小論理に加えると書いていますから、
公理をその論理体系で証明することはできません。証明できるのならそれは公理ではなく、定理です。
最小論理に公理 ¬A→(A→B)を加えれば、直観論理になるので、
直観論理では上の公理は定理になっていなければなりません。
すなわち、証明できるはずです。
No.2
- 回答日時:
http://en.wikipedia.org/wiki/Minimal_logic
を見ると「¬P→(P→Q)」を公理図式に加えると直観主義論理になるとありますね。
Pと¬Pがあれば任意のQを出せるということなので、実質的には
⊥
---
P
という推論規則を加えるのと同じことになるようですね。
しかし、最小論理でEFQが成り立たないことの証明はちょっと分からないです。スミマセン…。
を見ると「¬P→(P→Q)」を公理図式に加えると直観主義論理になるとありますね。
Pと¬Pがあれば任意のQを出せるということなので、実質的には
⊥
---
P
という推論規則を加えるのと同じことになるようですね。
しかし、最小論理でEFQが成り立たないことの証明はちょっと分からないです。スミマセン…。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 「古典論理」と「直観主義論理」について以下の質問をしました。 何かを証明したいときに「古典論理」では 3 2022/08/26 10:07
- 哲学 妥当な推論の根拠について 1 2022/08/04 22:54
- 哲学 不毛な議論 8 2023/03/03 07:31
- 数学 加藤文元さんは自身のゴールドバッハの予想への見解が現実のものとなるか考えているのでしょうか? 2 2022/06/04 15:15
- その他(教育・科学・学問) 直観主義論理は何の役に立つのでしょうか? 実生活において、「明日、雨が降る」という命題があるとしたら 1 2022/08/22 02:28
- 数学 集合と論理について 2 2023/01/08 05:52
- 数学 論理式、合成命題について 命題変数と論理記号を用いて命題を形式的に構成したものを論理式、または合成命 1 2022/04/12 21:06
- 数学 ABC予想を証明した望月教授の論文が欧米で認められないのは人種差別ですよね? 4 2022/04/11 10:20
- 心理学 心理学のレポート 1 2022/06/26 14:40
- 物理学 相対論的クーロン電場を可視化、生成機構の検証に成功? 1 2022/10/24 07:58
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
3,4,7,8を使って10を作る
-
証明終了の記号。
-
数学の「証明」のときなどの接...
-
「証明証」と「証明書」はどう...
-
婿養子に入ったのに出て行けと...
-
素数の積に1を加算すると素数で...
-
通学証明書の契印とは
-
夫が亡くなった後の義理家族と...
-
成人した後両親が離婚し別の人...
-
婿養子です、妻と離婚して妻の...
-
アキレスと亀がなぜ不思議でな...
-
2のn乗根で、 nを無限大に持っ...
-
大学の二次試験で・・・
-
還元不能の3次方程式
-
高校数学です。 (−a)(−b)=ab を...
-
数学の証明問題で、「証明終了」...
-
ε-N論法を用いた、lim(1/an)=0...
-
つながった2つのリングを外す
-
再婚、奨学金
-
再婚を考えてますが、養子縁組...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
証明終了の記号。
-
数学の「証明」のときなどの接...
-
数学の証明問題で、「証明終了」...
-
3,4,7,8を使って10を作る
-
「証明証」と「証明書」はどう...
-
夫が亡くなった後の義理家族と...
-
(4^n)-1が3の倍数であることの...
-
松坂和夫著「集合・位相入門」...
-
じゃらんで旅行予約をしたので...
-
素数の性質
-
素数の積に1を加算すると素数で...
-
図形の証明は、日常で役立ちま...
-
なぜ独身だと養子が持てないの...
-
大学の給付型奨学金について 現...
-
再婚、奨学金
-
正解が一つとは限らない数学の...
-
婿養子です、妻と離婚して妻の...
-
通学証明書の契印とは
-
よって・ゆえに・したがって・∴...
-
円周率=∞の証明
おすすめ情報