原子句子和句子 (数理逻辑)

快捷方式: 差异，相似，杰卡德相似系数，参考。

原子句子和句子 (数理逻辑)之间的区别

原子句子 vs. 句子 (数理逻辑)

在命题演算和谓词演算中，原子公式要么是命题字母要么是跟随着n个变量的n元谓词字母。原子句子同于上述描述，除了n元谓词字母跟随着n个常量或函子（functor）之外。 例如，设P, M, T是谓词字母；设a, b, c，等是常量项；但设x, y, z是变量项；并设p是命题字母。则下列都是原子句子：. 在数理逻辑中，句子是没有自由变量的公式；在模型论中，一个句子在给定的数学结构中要么是真要么是假。 例如 不是一个句子，因为出现了自由变量y；在实数的结构中，如果y.

开放句子

开放句子是「在用特定的数，替代其中的变量的时候，将使得结果的表达式被求值为真的一个句子」。 数学家没有接受这种术语，而是称之为带有自由变量的方程式或不等式等。 这种替代也叫做对句子的解。恒等式是所有数都是解的开放句子。 开放句子的例子包括：.

原子句子和开放句子 · 句子 (数理逻辑)和开放句子 · 查看更多 »

公式 (数理逻辑)

在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。 公式精确定义依赖于涉及到的特定的形式逻辑，但有如下一个非常典型的定义（特定于一阶逻辑）：公式是相对于特定语言而定义的；就是说，一组常量符号、函数符号和关系符号，这里的每个函数和关系符号都带有一个元数（arity）来指示它所接受的参数的数目。.

公式 (数理逻辑)和原子句子 · 公式 (数理逻辑)和句子 (数理逻辑) · 查看更多 »

自由变量和约束变量

在数学和其他涉及形式语言的学科中，包括数理逻辑和计算机科学，自由变量是在表达式中用于表示一个位置或一些位置的符号，某些明确的代换可以在其中发生，或某些运算（比如总和或量化）可以在其上发生。这个概念有关于占位符（它是以后会被所替换），或表示未指定符号的通配符，但更加深入和复杂。 变量 x 成为约束变量，比如 或 在任何这种命题中，是否使用 x 或其他什么字母在逻辑上不重要。但是，在复合命题的其他地方再次使用同一个字母可能导致冲突。就是说，自由变量变成了约束的，并在支持公式的格式化的进一步工作中在某种意义上退休了。.

原子句子和自由变量和约束变量 · 句子 (数理逻辑)和自由变量和约束变量 · 查看更多 »