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

一項述語・一変数命題関数についてのノートを作成・アップロード。