原子公式﹡
所属分类：数学
原子公式名词解释：一种基本公式.谓词演算的原子公式是形如R(t1,t2,…,tn)(n≥0)的表达式,此处R是上一个n元谓词或谓词变元,t1,t2,…,tn是项.因为命题常元、命题变元是零元谓词,所以它们都是原子公式.
公式﹡
所属分类：数学
公式名词解释：数理逻辑术语.指具有一定形式的表达式.其归纳定义如下名词解释：1.原子公式是公式.2.如果α,β是公式,则α,α∨β,α∧β,α≡β是公式.3.如果x是个体变元,α是公式,则(x)α,(x)α均是公式.4.只有根据1,2,3给...