論理学の授業(初学者向け)で課題が出されたので考えていたのですが、直感的には当たり前すぎる命題のため逆に行き詰ってしまいました。多分物凄く簡単だろうとは思うんですが…
│-(P→P)→P
を証明せよという問題で、"│-"は本当は「T」を左に90度倒したような記号です。また、「P→P」はトートロジーですよね?
対偶をとって考えようとしたんですが、「トートロジーの否定」は「常に偽」でいいのか?と悩んで止まってしまいました。
そもそも"│-"の記号が、どうやら「証明可能である」(「定理である」?)を表すらしいという事は判ったんですが、「証明可能であるという事を証明する」とは結果としてどういう答えになればいいのか、また解答文としてどう記述すればいいのかが判りません。
基本的すぎる質問で恥ずかしいですが、教えていただけたら嬉しいです。
No.2
- 回答日時:
反例が挙げられたということは、
命題の否定が証明されたということです。
証明可能は、真よりも強い概念です。
証明可能であるためには、少なくとも
真である必要があり、
否定が証明可能な命題は、
証明可能ではありえません。
この回答への補足
>否定が証明可能な命題は、証明可能ではありえません。
つまりこの│-(P→P)→Pという命題は証明可能ではない、ということでしょうか?
直観的には当たり前に真だと思えるのですが…(命題論理の真偽は必ずしも直観的に思う真偽とは一致しない、とは授業でも言われましたが)
となると、「│-(P→P)→P を証明せよ」という問題に対して「…以上より証明可能ではない」という答えになる??
「数学者の研究」ならともかく「たかが課題」なので、戸惑ってしまいます。物分りが悪くて申し訳ないです。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 大学受験 現代文について教えください。 問題 傍線部1「科学的方法」とあるが、それは具体的にいうとどのような方 3 2022/10/16 20:31
- 弁護士・行政書士・司法書士・社会保険労務士 政治家女子48党(旧NHK党)の登記が公開されない件について 3 2023/06/22 18:25
- 発達障害・ダウン症・自閉症 中学の時にIQ82の境界知能と診断されました。 今の私も、やはり境界知能でしょうか? そしてこれは、 3 2023/02/19 00:37
- 数学 円周角の定理の「円周角の大きさはその弧に対する中心角の半分である」ということの証明には3つのパターン 5 2023/06/24 17:03
- 哲学 妥当な推論の根拠について 1 2022/08/04 22:54
- 日本語 意味とは何か、どこにあるのか? 16 2022/04/09 11:44
- 大学受験 お急ぎの質問です。 現在高3受験生です。次の金曜日に明治大学総合数理学部(現象数理科)の学部別試験が 3 2023/02/13 23:38
- 政治 法務大臣の職務の最優先は、冤罪も含めた死刑囚の死刑執行命令を行う事だったんですよね? 5 2022/11/11 22:08
- 倫理・人権 法務大臣の職務の最優先は、冤罪も含めた死刑囚の死刑執行命令を行う事だったんですよね? 3 2022/11/15 09:38
- 事件・犯罪 刑法についてだれか助けてください。 2 2022/06/05 04:08
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
証明終了の記号。
-
キリスト教は、神がいる証明出...
-
数学の証明問題で、「証明終了」...
-
「証明証」と「証明書」はどう...
-
無理数って二乗しても有理数に...
-
lim(n→∞)an=-∞ の時、lim(n→∞)...
-
数学の「証明」のときなどの接...
-
血がつながっていない父親と結...
-
3,4,7,8を使って10を作る
-
婿養子に入ったのに出て行けと...
-
数列 n^(1/n) が収束することを…
-
婿養子です、妻と離婚して妻の...
-
7x²-9y²=391を満たす整数解は...
-
素数の積に1を加算すると素数で...
-
0.999999999・・・=1
-
無理数には、任意の有限個の数...
-
数学的帰納法以外の解き方
-
再婚、奨学金
-
直角三角形の性質
-
証明です
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
証明終了の記号。
-
数学の「証明」のときなどの接...
-
数学の証明問題で、「証明終了」...
-
3,4,7,8を使って10を作る
-
「証明証」と「証明書」はどう...
-
夫が亡くなった後の義理家族と...
-
(4^n)-1が3の倍数であることの...
-
松坂和夫著「集合・位相入門」...
-
じゃらんで旅行予約をしたので...
-
素数の性質
-
素数の積に1を加算すると素数で...
-
図形の証明は、日常で役立ちま...
-
なぜ独身だと養子が持てないの...
-
大学の給付型奨学金について 現...
-
再婚、奨学金
-
正解が一つとは限らない数学の...
-
婿養子です、妻と離婚して妻の...
-
通学証明書の契印とは
-
よって・ゆえに・したがって・∴...
-
円周率=∞の証明
おすすめ情報