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

n項述語・n変数命題関数についてのノート更新。リンク切れの修正など。