维基百科
原子句子, 此條目没有列出任何参考或来源, 2021年1月26日, 維基百科所有的內容都應該可供查證, 请协助補充可靠来源以改善这篇条目, 无法查证的內容可能會因為異議提出而被移除, 在命题演算和谓词演算中, 原子公式要么是命题字母要么是跟随着n个变量的n元谓词字母, 同于上述描述, 除了n元谓词字母跟随着n个常量或函子, functor, 之外, 例如, 设p, t是谓词字母, 设a, 等是常量项, 但设x, z是变量项, 并设p是命题字母, 则下列都是, 但下列不是, 因为有自由变量的出现, 参见, 编辑句子,. 此條目没有列出任何参考或来源 2021年1月26日 維基百科所有的內容都應該可供查證 请协助補充可靠来源以改善这篇条目 无法查证的內容可能會因為異議提出而被移除 在命题演算和谓词演算中 原子公式要么是命题字母要么是跟随着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 参见 编辑句子 数理逻辑 公式 数理逻辑 原子公式 开放句子 取自 https zh wikipedia org w index php title 原子句子 amp oldid 74834361, 维基百科，wiki，书籍，书籍，图书馆，