2011年11月15日火曜日

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

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