トップ > 数理計画用語集 > 述語

数理計画用語集

述語

読み:じゅつご
英名:Predicate
関連論理プログラミング

 数学上で述語とは「・・・は,・・・である」等の関係を表現する一般的な方法である.決められた個数の引数をもち,その引数の組合せに関する命題を表現する.引数をequation個持つ述語equationと項equationが与えられたとき,equationで「項equationの間にequationという関係をもつ」という命題を表現する.例えば,二項述語「equation」で「equationequationで割り切れる」という命題を,単項述語「equation」で「equationは素数である」という命題を表現する.主に複数の変数についての命題を対象とすることから,述語の事を関係と呼ぶこともある.