原子句子
在命題演算和謂詞演算中，原子公式要麼是命題字母要麼是跟隨著 n 個變量的 n 元謂詞字母。原子句子同於上述描述，除了 n 元謂詞字母跟隨著 n 個常量或函子（functor）之外。
例如，設 P, M, T 是謂詞字母；設 a, b, c，等是常量項；但設 x, y, z 是變量項；並設 p 是命題字母。則下列都是原子句子：

p
M (a)
P2 (b,a,c) 但下列不是原子句子（因為有自由變量的出現）：

M (x)
T (a,z)
P2 (x,y,z)