2013-07-01から1ヶ月間の記事一覧
戸次大介という人の数理論理学という本の第二部第7章のヒルベルト証明論のところの練習問題。 「BCWB'C*がいずれもSKの定理であることを証明せよ」 とりあえずBだけできた。 1. (φ→(ψ→χ))→((φ→ψ)→(φ→χ)) : S 2. (φ→(ψ→χ))→((φ→ψ)→(φ→χ))→((ψ→χ)→((φ→(ψ→χ))→(…
戸次大介という人の数理論理学という本の第二部第7章のヒルベルト証明論のところの練習問題。 「BCWB'C*がいずれもSKの定理であることを証明せよ」 とりあえずBだけできた。 1. (φ→(ψ→χ))→((φ→ψ)→(φ→χ)) : S 2. (φ→(ψ→χ))→((φ→ψ)→(φ→χ))→((ψ→χ)→((φ→(ψ→χ))→(…