查看“︁命题变量”︁的源代码

在[[数理逻辑]]中，'''命题变量'''（也称'''命题变元'''、'''句子变量'''）是要么为'''真'''要么为'''假'''的[[变量]]。命题变量是[[命题公式]]的基本构件板块，用于[[命题逻辑]]和更高的逻辑中。

逻辑中的公式通常是由一些命题变量、一些[[逻辑连结词|逻辑连接词]]和一些[[逻辑量词]][[递归]]地建立的。命题变量是命题逻辑的[[原子公式]]，通常用大写字母表示，如<math>\displaystyle P</math>、<math>\displaystyle Q</math>、<math>\displaystyle R</math>。

在一个给定的命题逻辑中，我们可以按如下方式定义公式：

* 所有命题变量是公式。
* 给定公式 <math>X</math>，[[否定]] <math>\neg X</math> 是公式。
* 给定两个公式 <math>X</math> 和 <math>Y</math>，和一个[[二元连结词]] <math>b</math> (比如[[逻辑合取]] <math>\wedge</math>)，则 <math>X b Y</math> 是公式。

通过上述方式，命题逻辑的所有公式都可以通过作为基本单位的命题变量构造出来。

==引用==

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

==参见==
* [[布尔代数]]
* [[布尔数据类型]]
* [[谓词变量]]
* [[原子公式]]

[[Category:數理邏輯|M]]