Ⅰ.关系元组演算
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.四种典型例子
关系演算
原文：https://www.cnblogs.com/staroblivion/p/10743243.html
