定义193:设关系集R=RR表示某个对象 集上的所有m元关系,即Rn={Rnar(Rn)=m} 定义19.4对任意的Rn∈RnR,称I上的m元关 系Ru(t1,…,t为上的原子公式特别地,R0 就是原子命题公式,这里t,…,tn∈I,R称为第i 个n元谓词。基于关系集R的所有I上的原子公 式全体称为原子公式集,记为Y 原子公式集Y是可列集。 C=,T(=,R=R0这里R为0元关系集)时,原子公 式就是命题逻辑中的命题变元即原子命题。2 定义19.3:设关系集R=   n=0 Rn Rn表示某个对象 集上的所有n元关系，即Rn ={Rn i |ar(Rn i )=n} 定义19.4:对任意的Rn iRnR，称I上的n元关 系Rn i (t1 , ,tn )为I上的原子公式(特别地，R0 i 就是原子命题公式),这里t1 , ,tnI,Rn i称为第i 个n元谓词。基于关系集R的所有I上的原子公 式全体称为I的原子公式集，记为Y。 原子公式集Y是可列集。 C=, T(1)=,R=R0 (这里R0为0元关系集)时，原子公 式就是命题逻辑中的命题变元即原子命题