[解決済み] コンピュータサイエンスの文脈における「述語」の意味とは？重複

質問

具体的には、テキストのフィルタリングの文脈で使われているのを見たことがあります。 まるで "predicate" == "filter criteria" のように。

これは正確なのでしょうか？

どのように解決するのですか？

数理論理学の分野で最もよく使われる用語です。

から ウィキペディア

数学において、述語は 関係、またはブール値関数 であり、そのような関係の特性関数または指標関数に相当する。

関数P。X→{true, false}をX上の述語と呼ぶ。PがX上の述語であるとき、PはXの性質であると言うこともある。

.

"述語" == "フィルタ条件"