原子句子

在命題演算和謂詞演算中 ， 原子公式要麼是命題字母要麼是跟隨着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 )