ついて以下では文字\(x\)は実数を表すものとする。9\)(1)は自由変数\(x\)についての述語である。\(x\)には自由に値を代入することができる。代入すると(1)の述語は命題になり、真偽を判断できるようになる。9\)という偽の命題になる。9\)という真の命題になる。\(x\)は束縛変数なので自由に値を代入することはできない。9\)」という無意味な文になってしまう。(2)は偽の命題である。\(x\)は束縛変数なので自由に値を代入することはできない。9\)」という無意味な文になってしまう。(3)は真の命題である。@hyuki『数学ガール』作者。結城メルマガとWeb連載を毎週書いてます。文章書きとプログラミングが好きなクリスチャン。noteお話の一覧を見る。