关系演算

1. 量词相关概念
   约束变元&自由变元
   根据一个变元是否收到量词的约束分为自由变元，和约束变元

谓词公式	$\forall x\exists yP(x,y,5,z_1,z_2)$
自由变元	$z_1,z_2$
约束变元	$x,y$

在一个谓词逻辑公式中，‘指派’仅由该公式中的自由变元的取值构成
2. 一阶谓词演算中的连接符
一元：
逻辑非$\neg$
逻辑或$\wedge$
逻辑与$\vee$
逻辑蕴含$\to$

3.关系的表示
元祖关系演算：$R=\{t|P(t)\}$
用来表示由谓词$P(t)$的所有成真指派构成的元祖集合，可以简写为$P(t)$
域关系算：

$$R{<x_1,x_2,...,x_n>|P(x_1,x_2,...,x_n)}$$
其中， $x_1,x_2,...,x_n$是谓词 $P(x_1,x_2,...,x_n)$的所有自由变元
$R\cup S=\{t|R(t)\vee S(t)\}$

$R-S=\{t|R(t)\wedge\neg S(t)\}$

$\sigma_F(R)=\{t|R(t)\wedge F\}$

$\pi _{A_{i1},A_{i2},...,A_{ik}}(R)={u^k|\exists t(R(t)\wedge u(1)=t(i_1) \wedge u(2)=t(i_2)...)},$
$u^(k)表示u是一个k元的有序组$

$R\times S={t^(m+n)|\exists u^(m)\exists v^(n)(R(u)\wedge S(v)\wedge t(1)=u(1)\wedge t(2)=u(2)\wedge ...\wedge t(m)=u(m)\wedge t(m+1)=v(1)\wedge ...,\wedge t(m+n)=v(n)}$

注意$\{t|\phi(t)\}$中t为自由变元