命题变元

【词语拼音】mìng tí biàn yuán

【词语繁体】命題變元

【词语结构】ABCD式词语

【词语字数】四字词语

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