\pi/2\)が反例です。1\)である」は、真か偽かどちらかです(この場合は「偽」)。「真であるとも偽であるともいえない」や「\(x\)の値によって決まる」という答えにはなりません。1\)である」の場合には、\(x\)の値によって真のときも偽のときもあります。それは\(x\)という自由な変数があるからです。1\)である」との違いに注意してください。違いますよ、という話です。x[P(x)]\)は命題(文)などと呼ばれています。[P(x)]\)は通常は真偽が決まります。1\)は、\(x\)に関する述語(条件)であり、自由な変数\(x\)の値を決めないと真偽は決まりません。1\)が真のときに真になります。@hyuki『数学ガール』作者。結城メルマガとWeb連載を毎週書いてます。文章書きとプログラミングが好きなクリスチャン。結城浩のサイト内を検索する。