在数学逻辑中，命题变元（也称为句子变元）是一个可真可假的变量。命题变元是命题逻辑甚至较高逻辑中使用的命题公式的基本组成部分。命题变元是指如果命题标识符只表示任意命题的位置标志。
精词语典，您的汉语词典专家。收录海量词语、成语、近义词、反义词，提供精准解释与组词示例。专业、全面、易用，助您轻松掌握汉语词汇。