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

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