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

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