プログラミング英単語3

predicate
意味：述語

日本語の述語には2つ意味がある
1つ目は主語と述語。動詞とほぼ同義。
2つ目は数学用語の述語。
こっちの意味は
変数 ｘ の値を定めることで真偽を判定することができる主張を 『 述語 』 という。
命題論理と述語論理

プログラミングにおいては2つ目の方で使われていて、
bool型の戻り値を持つ関数を述語関数と呼ぶ。

filterで使われるやつとかはこれ