すみません。趣味で数学やっております。
自然演繹のところで、矛盾が出てきた時点で、任意の式を結論付けても良い。
⊥
--------------------
A
A 任意の式
という推論規則があるかと思います。
自然演繹は、人間の推論、論理思考を記号で形式的にモデル化したもので、直感的に理解しやすい推論体系という理解で良いでしょうか?
そのもとで、上の推論規則が何を意味してるのか考えてみたのですが、(直感的に理解しやすい自然な思考である以上、無機質なただの変形ルールというより、意味合いを考えれるのではないか?と考えました。)
私の考えは、
証明を進める上で、矛盾した結論が出た以上、それ以上推論を進めることにはもはや意味がない。
なので、任意の式を矛盾が生じた時点で書いても良いことにする。(書いたとしても矛盾がすでに生じてる訳だから、特にその式が成立してることにはならない)
このように考えました。
ご意見願えないでしょうか?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 哲学 不毛な議論 8 2023/03/03 07:31
- 物理学 大学科学_リュードベリの式 1 2022/04/24 20:37
- 数学 参考文献の探し方(数学) 1 2022/07/19 01:09
- 統計学 加重最小二乗法=①「変数を自然対数変換」=②「誤差項の分散の逆数を重み付け」? 8 2022/11/26 11:15
- 日本語 意味とは何か? どこにあるのか?(Ⅱ) 4 2022/04/21 13:35
- 哲学 哲学とは何か 1 2023/01/09 21:26
- 物理学 特殊相対性理論を、完全否定に成功~ガンマの数式は、成立しない。 2 2023/03/08 19:30
- 日本語 <準体助詞>「の」という誤り 25 2022/05/02 13:04
- 物理学 アインシュタインの質量とエネルギーの等価性(E=mc²)って間違ってますよね? 4 2023/01/14 13:29
- 日本語 意味とは何か、どこにあるのか? 16 2022/04/09 11:44
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
何時間 何分 何秒を記号で表...
-
数学のハット、キャレットの意...
-
鋼材について
-
ニアリーイコールについて
-
「∝」←この記号ってどういう意味?
-
lnの読み方
-
数学の問題で丸に真ん中に線が...
-
無限大∞の右側が空いてる記号は...
-
今、高校生です。 化学や物理、...
-
∉ ∌ の表示
-
自然対数「ln」の読み方は?
-
最大・最小値の表記の仕方、こ...
-
『∝』この呼び方と意味を教えて...
-
「比例する」という意味の「∝」...
-
∈、∩、∪などは、なんと発音すれ...
-
数学のハット記号の意味がわか...
-
論理式の記号表記について
-
角度を答えるときの単位の書き...
-
文字と記号のちがいは何でしょ...
-
記号∀,∃の読み方(発声)を教え...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
何時間 何分 何秒を記号で表...
-
数学のハット、キャレットの意...
-
ニアリーイコールについて
-
鋼材について
-
「∝」←この記号ってどういう意味?
-
lnの読み方
-
数学の問題で丸に真ん中に線が...
-
今、高校生です。 化学や物理、...
-
無限大∞の右側が空いてる記号は...
-
∉ ∌ の表示
-
言語と記号のうちわが分節する...
-
最大・最小値の表記の仕方、こ...
-
「比例する」という意味の「∝」...
-
『∝』この呼び方と意味を教えて...
-
自然対数「ln」の読み方は?
-
記号∀,∃の読み方(発声)を教え...
-
数学の解答中に見かける「⇔」こ...
-
【数学】なぜθ(シータ)が角度を...
-
記号について
-
0の中に・が入ってる記号ってど...
おすすめ情報
構文論的に捉えると、定められた演繹ルール。記号を繋ぐための機械的操作のひとつですね。
あの後、私のテキストに、他の演繹ルールとして、背理法の規則が導入されてました。
¬ A 仮定
.
.
⊥ 矛盾
---------------------------------
A
矛盾規則は、この規則で、仮定¬Aを一度も使わない場合とあり、それで納得しました。つまり、矛盾規則で導入したい任意式の否定を背理法で仮定したと言うことでしょう。
続き→
背理法規則は、高校数学の√2の無理数性を示すための論理そのものなので、形式的操作とはいえ、自然演繹が人間の推論思考をモデル化したものであることを踏まえると、納得しやすいというか、ただの意味を持たない変形ルールなのだろうけど、馴染み易いと感じました。
自然演繹以外だと、仰る通り、本当になぜこのような操作を思い付いた?というような演繹ルールも沢山出てくるのでしょうね。
とにかく、取っつきやすい背理法ルールの特別ケースとして納得することにしました。