最初のページ
戻る
次へ
最後のページ
画像
ドメインリレーショナル論理式 {x1,...,xn | Ψ(x1,...,xn)}
式Ψ(x1,...,xn)を
「ドメイン変数x1,...,xnのみを自由変数として持つ式」
とするとき
{ x1,...,xn | Ψ(x1,...,xn) }をドメインリレーショナル論理式という
[例]
ドメイン変数x1,x2は自由変数