N項述語・n変数命題関数

N項述語・n変数命題関数についてのノートを更新。