关系演算

Ⅰ.关系元组演算

1.基本公式: { t | P(t) }

①三种原子公式

s∈R

s[A] θ c            比较运算符

s[A] θ u[B]

②若p为公式，非p也是公式

若，p1，p2是公式，则p1与p2，p1或p2也是公式

若P(t),R,(tR)(P(t))     

2.应用

3.存在量词和全称量词

验证

4.等价性变换

5.四种典型例子