原子公式和命题变量

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

原子公式和命题变量之间的区别

原子公式 vs. 命题变量

在数理逻辑中， 原子公式（英語：Atomic formula）或原子是没有子公式的公式。把什么公式当作原子依赖于所使用的逻辑。例如在命题逻辑中，唯一的原子公式是命题变量。 原子是在逻辑系统中"最小"的公式。在逻辑系统中的合式公式通常通过识别所有有效的原子公式，和给出从两个原子公式建立公式的规则而递归的定义。从原子公式制作的公式是复合公式。 例如，在命题逻辑中你有如下的公式构造规则. 在数理逻辑中，命题变量(也叫做句子变量)是要么为真要么为假的变量。命题变量是命题公式的基本构件板块，用于命题逻辑和更高的逻辑中。 在逻辑中的公式典型的递归的建造自一些命题变量，一些逻辑连结词，和一些逻辑量词。命题变量是命题逻辑的原子公式。例如，在一个给定的命题逻辑中，我们可以按如下方式定义公式.

命题逻辑

在邏輯和數學裡，命題演算（或稱句子演算）是一個形式系統，有著可以由以邏輯運算符結合原子命題來構成代表「命題」的公式，以及允許某些公式建構成「定理」的一套形式「證明規則」。.

原子公式和命题逻辑 · 命题变量和命题逻辑 · 查看更多 »

公式 (数理逻辑)

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

公式 (数理逻辑)和原子公式 · 公式 (数理逻辑)和命题变量 · 查看更多 »

数理逻辑

数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。.

原子公式和数理逻辑 · 命题变量和数理逻辑 · 查看更多 »