数理論理学

LK（古典命題論理）における証明の導出方法と、証明可能性とトートロジーの関係について。
導出方法は機械的にできる部分と、そうでない部分、つまりいくつかの選択肢があるばあいがあり、そこでうまく選択をしないとうまく証明ができない場合がある。
この勘の働かせ方になれないとうまくいけないようだ。