原子句子 在命题演算和谓词演算中原子公式要么是命题字母要么是跟随着n个变量的n元谓词字母原子句子同于上述描述除了n元谓词字母跟随着n个常量或函子functor之外 例如设P M T是谓词字母设a b c等是常量项但设x y z是变量项并设p是命题字母则下列都是原子句子 p Ma Pbac 但下列不是原子句子因为有自由变量的出现 Mx Taz Pxyz