一項述語・一変数命題関数の具体例

一項述語・一変数命題関数の具体例を挙げたノートの調整完了。