Extra
精选上位词
表达式
在数学逻辑中,命题变元(也称为句子变元)是一个可真可假的变量。命题变元是命题逻辑甚至较高逻辑中使用的命题公式的基本组成部分。
命题变元是指如果命题标识符只表示任意命题的位置标志。
上位词 | 位置标志 |
---|---|
中文名 | 命题变元 |
别名 | 句子变元 |
原始名称 | 命题变元 |
外文名 | propositional variable |
学科 | 数学 |
应用学科 | 数学 |
绰号 | 句子变元 |
英文名 | propositional variable |