原子句子
在命题演算和谓词演算中,原子公式要幺是命题字母要幺是跟随着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)
网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
依恋情感网英汉例句词典收录3870147条英语例句词条,基本涵盖了全部常用英语单词的释义及例句,是英语学习的有利工具。