原子公式和命题逻辑

原子公式和命题逻辑之间的区别

原子公式 vs. 命题逻辑

在数理逻辑中，原子公式（英語：Atomic formula）或原子是没有子公式的公式。把什么公式当作原子依赖于所使用的逻辑。例如在命题逻辑中，唯一的原子公式是命题变量。原子是在逻辑系统中"最小"的公式。在逻辑系统中的合式公式通常通过识别所有有效的原子公式，和给出从两个原子公式建立公式的规则而递归的定义。从原子公式制作的公式是复合公式。例如，在命题逻辑中你有如下的公式构造规则. 在邏輯和數學裡，命題演算（或稱句子演算）是一個形式系統，有著可以由以邏輯運算符結合原子命題來構成代表「命題」的公式，以及允許某些公式建構成「定理」的一套形式「證明規則」。.

之间原子公式和命题逻辑相似

原子公式和命题逻辑有（在联盟百科）2共同点: 原子句子，命题变量。

原子句子

在命题演算和谓词演算中，原子公式要么是命题字母要么是跟随着n个变量的n元谓词字母。原子句子同于上述描述，除了n元谓词字母跟随着n个常量或函子（functor）之外。例如，设P, M, T是谓词字母；设a, b, c，等是常量项；但设x, y, z是变量项；并设p是命题字母。则下列都是原子句子：.

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

命题变量

在数理逻辑中，命题变量(也叫做句子变量)是要么为真要么为假的变量。命题变量是命题公式的基本构件板块，用于命题逻辑和更高的逻辑中。在逻辑中的公式典型的递归的建造自一些命题变量，一些逻辑连结词，和一些逻辑量词。命题变量是命题逻辑的原子公式。例如，在一个给定的命题逻辑中，我们可以按如下方式定义公式.

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

上面的列表回答下列问题

什么原子公式和命题逻辑的共同点。
什么是原子公式和命题逻辑之间的相似性