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