- ベストアンサー
※ ChatGPTを利用し、要約された質問です（原文：数理論理学で）
数理論理学でΔ→Ζの証明の方法は？
このQ&Aのポイント
- 数理論理学において、Δ→Εの証明とΕ→Ζの証明が存在するとき、Δ→Ζの証明が存在することを証明する方法について教えてください。
- （Δ→Ε）→（（Ε→Ζ）→（Δ→Ζ））がトートロジーになることを示す方法についても教えてください。
- 命題論理の論理式として（Δ→Ε）→（（Ε→Ζ）→（Δ→Ζ））を示すための真理値表は存在しないようですが、この証明の方法について教えてください。
- mathsawamura
- お礼率25% (28/111)
- 数学・算数
- 回答数1
- ありがとう数2
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
Δ→E≡￢(Δ∧￢E) を利用して、 (Δ→E)∧(E→Z)≡Ａ (Δ→Z)≡Ｂ とするとき、Ａ，Ｂの真理値表から ￢(A∧￢B) の真理値表がトートロジーになることを示せばよい。 △,E,Zの３種類あるから、真偽を８通りで調べればいい。
お礼
なるほど! ありがとうございます!