文络智义词库

2026-07-12 10:34:54

命题变元

mìng tí biàn yuán · ㄇㄧㄥˋ ㄊㄧˊ ㄅㄧㄢˋ ㄩㄢˊ

字母
ming ti bian yuan
首字母
mtby
注音符号
ㄇㄧㄥ ㄊㄧ ㄅㄧㄢ ㄩㄢ
注音首符
ㄇㄊㄅㄩ

在数学逻辑中,命题变元(也称为句子变元)是一个可真可假的变量。命题变元是命题逻辑甚至较高逻辑中使用的命题公式的基本组成部分。命题变元是指如果命题标识符只表示任意命题的位置标志。

拆字

相关

文络智义词库,您的专属汉语词典。海量词条,精准释义,成语、近义词、反义词一键查询。专业友好的界面,让词语学习更高效。

热门组词

链接