nchu19A

摘要： 一、命题逻辑 命题： 能够判断真假的陈述句称作命题。 一个命题的“结果”，称为真值。 例： X>Y 不是命题，因为无法判断真假。 明天会下雨是命题，可以判断真假。（但真值无法确定） 命题变元：命题标识符如仅是表示任意命题的位置标识，就称为命题变元。 它是位置标识，不是能判真假的陈述句。 原子变元：当 阅读全文