2011年11月14日月曜日

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

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