定義域関係論理
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/12 07:34 UTC 版)
定義域関係論理は Michel Lacroix と Alain Pirotte により考案されたといわれる。 定義域関係論理では、問い合わせは次のような形式になる。 < X 1 , X 2 , . . . . , X n> | p ( < X 1 , X 2 , . . . . , X n> ) {\displaystyle {
※この「定義域関係論理」の解説は、「関係論理」の解説の一部です。
「定義域関係論理」を含む「関係論理」の記事については、「関係論理」の概要を参照ください。
ウィキペディア小見出し辞書の「定義域関係論理」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
- 定義域関係論理のページへのリンク
