最初のページ 戻る 次へ 最後のページ 画像

タプルリレーショナル論理式 {t | Ψ(t)}

Ψ(t)を

「タプル変数をtのみを自由変数として持つ式」

とするとき

{ t | Ψ(t) }をタプルリレーショナル論理式という

[例]

uは束縛変数

(∃u)(...

tは自由変数