自由変数と束縛変数
1)$ x^2 = 9
こういう述語のときにxには3が入れば真の命題になる
このxには自由な値を代入することが可能
真の命題を作りたければ3、偽の命題であれば3以外なんでも入れることができる
2)すべての $ x について $ x^2=9
こういうときはxに3を入れると
すべての$ 3について$ 3^2=9
こういうわけのわからない文章になってしまう
つまりxになんでも入れて真偽を決定する判断になるものは自由変数 そうではない「すべて」「ある」はなどが接頭詞についていたり、何でもかんでも入れた時に変な文章になるxは束縛変数になる プログラミング的には単に関数の外で定義されたグローバル変数とかが自由変数で関数スコープ内に定義されたものは束縛変数でいいのかしらrkasu.icon
言語によって異なりそう
ここでも近いこと言っている