古典論理。NK。

古典論理・自然演繹についてのノートをアップロードしてみる。