原子公式名词解释：一种基本公式.谓词演算的原子公式是形如R(t1,t2,…,tn)(n≥0)的表达式,此处R是上一个n元谓词或谓词变元,t1,t2,…,tn是项.因为命题常元、命题变元是零元谓词,所以它们都是原子公式.