原子句子

在命題演算和謂詞演算中，原子公式要麼是命題字母要麼是跟隨着n個變量的n元謂詞字母。原子句子同於上述描述，除了n元謂詞字母跟隨着n個常量或函子（functor）之外。

例如，設P, M, T是謂詞字母；設a, b, c，等是常量項；但設x, y, z是變量項；並設p是命題字母。則下列都是原子句子：

• p
• M(a)
• P₂(b,a,c)

但下列不是原子句子（因為有自由變量的出現）：

• M(x)
• T(a,z)
• P₂(x,y,z)

參見

• 句子 (數理邏輯)
• 公式 (數理邏輯)
• 原子公式
• 開放句子