述語と関係のターミノロジー

後で資料にする。

terminology 述語と関係

vocabulary 論理の述語 {
 0項述語
 1項述語
 2項述語
 無項述語〈nulary predicate〉
 単項述語〈unary predicate〉
 二項述語〈binary predicate〉
 n項述語
 述語
 /* ボキャブラリー内部の同義語指定にはイコール */
 0項述語 = 無項述語
 1項述語 = 単項述語
 2項述語 = 二項述語
 n項述語 = 述語
}

context 関係など for 論理の述語 {
 {0項関係 | 無項関係} := 0項述語
 {1項関係 | 単項関係} := 1項述語
 {2項関係 | 二項関係} := 2項述語
 n項関係 := n項述語
 {性質 | プロパティ | proerty} := 1項述語
}
 
context 一般的言い方 for (論理の述語 ∪ 関係など) {
  真偽値 := 0項述語
  部分集合 := 1項関係
  関係 := 二項関係
}

context の for に入ると、context は dom vocabulary の意味となる。やはり、context と vocabulary は同じ名前空間のほうがいいかも。