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