原子句子

维基百科,自由的百科全书
跳转至: 导航搜索

命题演算谓词演算中,原子公式(或简称原子)要么是命题字母要么是跟随着 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)

参见[编辑]