教材

教材

有償版は論計舎web shopにて販売を予定しております。

自然演繹100題ノック

pdfダウンロード

自然演繹の証明図をひたすら書く教材を作成しました。

この教材では自然演繹の証明図を書く問題を100題提出します。 しかし、数理論理学は、証明図を書く学問ではありません。 では、なぜ100題ノックを世に出すのかという問いは自然なものです。 その答えは、証明図を書くことに脳のリソースを使わないでいいことで、 証明図・証明とは何かを概念的に思考する余裕が生じると考えたからです。

ぜひ、挑戦してみてください。

詳しくはこちら!