数理逻辑问题:如何理解"原子公式"的概念?

题目

数理逻辑问题:如何理解"原子公式"的概念?
若F(x1,x2,…,xn)是n元谓词,t1,t2,…,tn是n个项,则F(t1,t2,…,tn)是合式公式,此类合式公式称为原子公式
就是还没有赋值的公式吗?

答案

在数理逻辑中,原子公式或原子是没有子公式的公式.把什么公式当作原子依赖于所使用的逻辑.例如在命题逻辑中,唯一的原子公式是命题变量.原子是在逻辑系统中"最小"的公式.在逻辑系统中的合式公式通常通过识别所有有效的...