命题变元
mìng tí biàn yuán
ㄇㄧㄥˋ ㄊㄧˊ ㄅㄧㄢˋ ㄩㄢˊ
📖 词语释义
- 拼音字母ming ti bian yuan
- 首字母mtby
- 注音符号ㄇㄧㄥ ㄊㄧ ㄅㄧㄢ ㄩㄢ
- 更新2026-07-10 01:45:17
更多解释
在数学逻辑中，命题变元（也称为句子变元）是一个可真可假的变量。命题变元是命题逻辑甚至较高逻辑中使用的命题公式的基本组成部分。命题变元是指如果命题标识符只表示任意命题的位置标志。
在数学逻辑中，命题变元（也称为句子变元）是一个可真可假的变量。命题变元是命题逻辑甚至较高逻辑中使用的命题公式的基本组成部分。命题变元是指如果命题标识符只表示任意命题的位置标志。