例：，(-R(),表示命题 ‘对所有的元组t均不是R的 元组’。即R是一个空关系。 且，当R=中时，（一R①）)为真 否则为假。 ()表示如下命题：‘若有一个t使为真，则 3(为真，否则为假。 例：3R(①)，表示命题 ‘R不是空关系。’即‘关系R中至少有一个元 组。 若R=·,则归(R()为假，若R<>,则3R)为真。 85 85 例: t (R(t)),表示命题: ‘对所有的元组t均不是R的 元组 ’。即R是一个空关系 。 且,当R=  时, t (R(t))为真, 否则为假。 t ()表示如下命题:‘若有一个t使为真,则 t ()为真,否则为假。 例: t (R(t)),表示命题: ‘R不是空关系。’即‘关系R中至少有一个元 组。 ’ 若R= ,则t (R(t))为假,若R< >,则t (R(t))为真