定义213设关系集R=RR表示某个对象 集上的所有n元关系,即Rn={ Rn are(R)=n} 定义21对任意的R∈Rn三R,称I上的n元关 系Ru(t1,…,t为上的原子公式特别地,R0 就是原子命题公式,这里t,…,tn∈I,R称为第i 个n元谓词。基于关系集R的所有I上的原子公 式全体称为原子公式集,记为Y 原子公式集Y是可列集。 C=,T(=,R=R0这里R为0元关系集)时,原子公 式就是命题逻辑中的命题变元即原子命题。2
定义21.3:设关系集R= n=0 Rn Rn表示某个对象 集上的所有n元关系，即Rn ={Rn i |ar(Rn i )=n} 定义21.4:对任意的Rn iRnR，称I上的n元关 系Rn i (t1 , ,tn )为I上的原子公式(特别地，R0 i 就是原子命题公式),这里t1 , ,tnI,Rn i称为第i 个n元谓词。基于关系集R的所有I上的原子公 式全体称为I的原子公式集，记为Y。 原子公式集Y是可列集。 C=, T(1)=,R=R0 (这里R0为0元关系集)时，原子公 式就是命题逻辑中的命题变元即原子命题
二、谓词代数 例:设A={1,100},对于命题“A中所 有数都大于0” c表示数字,R2表示二元关系“大于” 命题形式化地表示为: R2(c1,0)入…入R2(c100) 当A为正实数集时,就不能用上述方式表 示。为此引进记号xR2(x,0)来表示上面 的命题。这里∨x称为全称量词
二、谓词代数 例：设A={1,…,100}，对于命题“A中所 有数都大于0”. ci表示数字i，R2 i表示二元关系“大于”， 命题形式化地表示为： R2 i (c1 ,0)…R2 i (c100,0)。 当A为正实数集时，就不能用上述方式表 示。为此引进记号xR2 i (x,0)来表示上面 的命题。这里x称为全称量词