释
命题变元
mìng tí biàn yuán · ㄇㄧㄥˋ ㄊㄧˊ ㄅㄧㄢˋ ㄩㄢˊ
修撰于 2026-06-30 20:50:50
音义
| 拼音 | mìng tí biàn yuán |
|---|---|
| 字母 | ming ti bian yuan |
| 首字母 | mtby |
| 注音 | ㄇㄧㄥˋ ㄊㄧˊ ㄅㄧㄢˋ ㄩㄢˊ |
| 注音符号 | ㄇㄧㄥ ㄊㄧ ㄅㄧㄢ ㄩㄢ |
广训
在数学逻辑中，命题变元（也称为句子变元）是一个可真可假的变量。命题变元是命题逻辑甚至较高逻辑中使用的命题公式的基本组成部分。命题变元是指如果命题标识符只表示任意命题的位置标志。