数理論理学で
Δ→Εの証明とΕ→Ζの証明が存在するときΔ→Ζの証明が存在する事を証明せよ
という問題です
どうやら
(Δ→Ε)→((Ε→Ζ)→(Δ→Ζ))がトートロジーになる事を示してmodus ponensを二回使って証明するようなのですが
どうやって(Δ→Ε)→((Ε→Ζ)→(Δ→Ζ))がトートロジーになる事を示すのかわかりません
(Δ→Ε)→((Ε→Ζ)→(Δ→Ζ))が命題論理の論理式なら真理値表で示せるのですが
問題を見た限り命題論理の論理式という保証はどこにもなさそうなので……
それとも私の考え方が間違っているのでしょうか?
わかる方いましたらよろしくお願いします
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 「古典論理」と「直観主義論理」について以下の質問をしました。 何かを証明したいときに「古典論理」では 3 2022/08/26 10:07
- 哲学 妥当な推論の根拠について 1 2022/08/04 22:54
- 哲学 不毛な議論 8 2023/03/03 07:31
- 数学 ABC予想を証明した望月教授の論文が欧米で認められないのは人種差別ですよね? 4 2022/04/11 10:20
- 物理学 物理の証明問題についての質問です。 平面内を運動する小球がある。この物体にかかる加速度の方向と大きさ 2 2023/05/16 00:28
- 数学 円周角の定理の「円周角の大きさはその弧に対する中心角の半分である」ということの証明には3つのパターン 5 2023/06/24 17:03
- 教育学 数学の問題についてです。 この問題は背理法による証明の問題なのですが、 写真右上の赤線「rを有理数と 1 2022/06/28 16:26
- 数学 ゴールドバッハの予想の部分証明について 4 2022/06/04 13:53
- 数学 数学の問題についてです。 この問題は背理法による証明の問題なのですが、 写真右上の赤線「rを有理数と 2 2022/06/28 16:28
- 数学 複素関数にロピタルの定理を使おうとしている回答者は、複素関数論はおろか微積分学もよく分かっていない、 5 2022/12/28 18:02
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
次元定理以外で
-
帰納法
-
数学の「証明」のときなどの接...
-
証明終了の記号。
-
不完全微分であることの証明
-
中心角の定理
-
四葉のクローバー この言葉一度...
-
数学の証明問題で、「証明終了」...
-
夫が亡くなった後の義理家族と...
-
ブール環
-
元カレと再婚した方ってなかな...
-
フェルマーの最終定理。 数学者...
-
a1=√2,a(n+1)=√(2+an)が単調増...
-
中学2年程度数学3ケタの自然数...
-
47歳、母親の再婚を子供の立場...
-
3,4,7,8を使って10を作る
-
2+3=5
-
結婚して1か月して、初めて主...
-
正解が一つとは限らない数学の...
-
非該当証明書と該非判定書とい...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
3,4,7,8を使って10を作る
-
証明終了の記号。
-
婿養子に入ったのに出て行けと...
-
数学の証明問題で、「証明終了」...
-
「証明証」と「証明書」はどう...
-
素数の積に1を加算すると素数で...
-
夫が亡くなった後の義理家族と...
-
よって・ゆえに・したがって・∴...
-
学割定期を親に買ってきてもら...
-
(4^n)-1が3の倍数であることの...
-
再婚、奨学金
-
素数の性質
-
なぜ独身だと養子が持てないの...
-
元夫が彼女の存在を隠す理由
-
成人した後両親が離婚し別の人...
-
大学の給付型奨学金について 現...
-
直角三角形の性質
-
通学証明書の契印とは
-
無理数って二乗しても有理数に...
おすすめ情報