¬R(t)が真であるなら、tはR(t)中にない
tの各要素はDOM(Ψ)の要素ではない
1. Ψ(t) が真であるならば
tの各要素はDOM(Ψ)の要素である
¬R(t)
この部分に反する
安全なタプルリレーショナル論理式ではない