原子句子
在命题演算和谓词演算中，原子公式要幺是命题字母要幺是跟随着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)
| 单词 | Atomic sentence |
| 释义 |
Atomic sentence
中文百科
原子句子在命题演算和谓词演算中，原子公式要幺是命题字母要幺是跟随着n个变量的n元谓词字母。原子句子同于上述描述，除了n元谓词字母跟随着n个常量或函子（functor）之外。 例如，设P, M, T是谓词字母；设a, b, c，等是常量项；但设x, y, z是变量项；并设p是命题字母。则下列都是原子句子：
但下列不是原子句子（因为有自由变量的出现）：
英语百科
Atomic sentence 原子句子In logic, an atomic sentence is a type of declarative sentence which is either true or false (may also be referred to as a proposition, statement or truthbearer) and which cannot be broken down into other simpler sentences. For example, "The dog ran" is an atomic sentence in natural language, whereas "The dog ran and the cat hid." is a molecular sentence in natural language. |
| 随便看 |
|
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。