命题变元

基本属性

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

扩展释义

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