命题变量

维基百科,自由的百科全书
跳转至: 导航搜索

数理逻辑中,命题变量(也叫做句子变量)是要么为要么为变量。命题变量是命题公式的基本构件板块,用于命题逻辑和更高的逻辑中。

在逻辑中的公式典型的递归的建造自一些命题变量,一些逻辑连结词,和一些逻辑量词。命题变量是命题逻辑的原子公式。例如,在一个给定的命题逻辑中,我们可以按如下方式定义公式:

用这种方式,命题逻辑的所有的公式都可以建造自作为基本单位的命题变量。

引用[编辑]

Smullyan, Raymond M. First-Order Logic. 1968. Dover edition, 1995. Chapter 1.1: Formulas of Propositional Logic.

参见[编辑]