変数にある特定の要素を代入すると真偽が定まる主張を命題関数(propositional function)または述語(predicate)という。 例： P(x)＝xは動物である…xに犬や木、本などを代入すると真偽が定まる。 P: 述語「は動物である」、x :変数 P(犬)＝犬は動物である…Tru…