命题变量 Propositional variable
（重定向自Propositional symbol）
在数理逻辑中，命题变量(也叫做句子变量)是要幺为真要幺为假的变量。命题变量是命题公式的基本构件板块，用于命题逻辑和更高的逻辑中。
在逻辑中的公式典型的递归的建造自一些命题变量，一些逻辑连结词，和一些逻辑量词。命题变量是命题逻辑的原子公式。例如，在一个给定的命题逻辑中，我们可以按如下方式定义公式:
用这种方式，命题逻辑的所有的公式都可以建造自作为基本单位的命题变量。
| 单词 | Propositional symbol |
| 释义 |
Propositional symbol
中文百科
命题变量 Propositional variable（重定向自Propositional symbol）
在数理逻辑中，命题变量(也叫做句子变量)是要幺为真要幺为假的变量。命题变量是命题公式的基本构件板块，用于命题逻辑和更高的逻辑中。 在逻辑中的公式典型的递归的建造自一些命题变量，一些逻辑连结词，和一些逻辑量词。命题变量是命题逻辑的原子公式。例如，在一个给定的命题逻辑中，我们可以按如下方式定义公式: 用这种方式，命题逻辑的所有的公式都可以建造自作为基本单位的命题变量。
英语百科
Propositional variable 命题变量（重定向自Propositional symbol）
In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is a variable which can either be true or false. Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher logics. |
| 随便看 |
|
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。