質問: 数理論理学で 数理論理学で δ→εの証明とε→ζの証明が存在するときδ→ζの証明が存在する事を証明せよ という問題です どうやら (δ→ε)→((ε→ζ)→(δ→ζ))がトートロジーになる事を示してmodus ponensを二回使って証明するようなのですが どうやって(δ→ε)→((ε→ζ)→(δ→ζ))がトートロジーになる事を示すのかわかりません (δ→ε)→((ε→ζ)→(δ→ζ))が命題論理の論理式なら真理値表で示せるのですが 問題を見た限り命題論理の論理式という保証はどこにもなさそうなので...... それとも私の考え方が間違っているのでしょうか? わかる方いましたらよろしくお願いします
回答: δ→e≡¬(δ∧¬e) を利用して、 (δ→e)∧(e→z)≡a (δ→z)≡b とするとき、a,bの真理値表から ¬(a∧¬b) の真理値表がトートロジーになることを示せばよい。 △,e,zの3種類あるから、真偽を8通りで調べればいい。