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

一項述語・1変数命題関数。メンテ了。