在任何一个包含变量A的逻辑等式中，若以另外一个逻辑式代入式中所有A的位置，则等式仍然成立。这就是所谓代入定理。
精词语典，您的汉语词典专家。收录海量词语、成语、近义词、反义词，提供精准解释与组词示例。专业、全面、易用，助您轻松掌握汉语词汇。