「 (⊨Aならば⊨B)ならば A⊨Bは成り立たない。」 の証明になりますが、
これは
「 ⊨A, A⊨B ならば ⊨B つまり「 A⊨B ならば ( ⊨Aならば⊨B ) 」がえられる。の逆になります。
この問題の答えは理解できました。A⊨BからAからBが帰結すること。
⊨AからAがトートロジーであること
故に ⊨Bがトートロジーになる。が回答の概略になります。
しかし上記の逆、
「 ( ⊨A ならば ⊨B)ならば A⊨Bは成り立たない。」 の証明の解答を読んだのですが理解しかねています。
解答は以下の様になっています。
<< AをP,BをQとしてみよう。
「 (⊨A ならば ⊨B)」はなりたつ。なぜなら「ならば」の前が偽だからである。しかしP⊨Qではない。>>です。
「ならば」の前は ⊨A(⊨P )になります。この場合トートロジーになるのではないでしょうか?何故偽になるの理解できていません。Pが偽になれば、「P⊨Qではない」は理解できます。
「 (⊨Aならば⊨B)」はなりたつ。なぜなら「ならば」の前が偽だからである」
をどう理解したら良いのか困っています。
ご教授願います。
よろしくお願いします。
No.1ベストアンサー
- 回答日時:
この文章
>「 (⊨Aならば⊨B)」はなりたつ。なぜなら「ならば」の前が偽だからである」
は、『⊨A でない場合は, 「 (⊨Aならば⊨B)」はなりたつ』と言ってます。
つまり、Aは証明できない命題です。
その時に A⊨Bは成り立たない かどうかはわかりませんので、PやQが何か書いてあるのでしょう。
矛盾からは何でも証明できるので、おそらく P,Qは
無矛盾な体系における、Pは真であるが証明できない命題、Qは矛盾
のようなものではないでしょうか。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 真偽表(真理値表)について 今日、大学の授業で真偽表(真理値表)について学習しました。(画像)(見づ 5 2022/04/13 01:18
- 数学 存在記号と「または」 5 2022/10/02 19:03
- 大学受験 現代文について教えください。 問題 傍線部1「科学的方法」とあるが、それは具体的にいうとどのような方 3 2022/10/16 20:31
- 数学 「x≧−6 であるすべてのxに対し,不等式2ax≦6x+1が成り立つような定数aの範囲を求めよ。」 4 2022/07/22 05:33
- TOEFL・TOEIC・英語検定 【 英語 添削お願いします 】 問題 あなたは留学先の授業でエッセーを書くことになり、以下のテーマを 2 2022/11/27 16:20
- 事件・犯罪 刑法についてです 2 2022/06/04 03:11
- 発達障害・ダウン症・自閉症 中学の時にIQ82の境界知能と診断されました。 今の私も、やはり境界知能でしょうか? そしてこれは、 3 2023/02/19 00:37
- 事件・犯罪 刑法についてだれか助けてください。 2 2022/06/05 04:08
- 数学 京都大学教授が証明。 「ABC予想・宇宙際タイヒミューラー予想」を、ザックリで説明お願致出来ますか? 1 2022/04/11 20:52
- 数学 大学入試の数学の正答率と良問の関係についてです。 5 2023/02/24 15:22
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
証明終了の記号。
-
数学の証明問題で、「証明終了」...
-
よって・ゆえに・したがって・∴...
-
素数の性質
-
無理数って二乗しても有理数に...
-
なぜ独身だと養子が持てないの...
-
夫が亡くなった後の義理家族と...
-
兄弟の子どもの養子縁組は可能...
-
高校数学の証明について質問で...
-
婿養子です、妻と離婚して妻の...
-
次元定理以外で
-
四葉のクローバー この言葉一度...
-
「・・・のとき」という言葉の...
-
一様連続の証明
-
√nが有理数ならばnが整数 証明 ...
-
「一般性を失うことはない・・...
-
lim[n→∞]an/bn=a/bの証明法を教...
-
無理数には、任意の有限個の数...
-
実息とは?
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
3,4,7,8を使って10を作る
-
証明終了の記号。
-
婿養子に入ったのに出て行けと...
-
数学の証明問題で、「証明終了」...
-
「証明証」と「証明書」はどう...
-
素数の積に1を加算すると素数で...
-
夫が亡くなった後の義理家族と...
-
よって・ゆえに・したがって・∴...
-
学割定期を親に買ってきてもら...
-
(4^n)-1が3の倍数であることの...
-
再婚、奨学金
-
素数の性質
-
なぜ独身だと養子が持てないの...
-
元夫が彼女の存在を隠す理由
-
成人した後両親が離婚し別の人...
-
大学の給付型奨学金について 現...
-
直角三角形の性質
-
通学証明書の契印とは
-
無理数って二乗しても有理数に...
おすすめ情報
独学でしていると、ある考えに頭が固まってしまうと、中々そこから抜け出せない。
他人に質問することで、凝り固まった考えから抜け出すことがあります。
これからも皆さんの意見を参考にして進めていきたいと考えています。