数学命题
数学与计算机科学17 阅读
（mathematical proposition）与数学对象有关的命题．数学中表达判断的语句．数学命题大都具有“如果A，则B”的形式，即具有蕴涵式“A→B”的形式．例如，在“如果两条直线都和第三条直线平行，则这两条直线也互相平行”中，“两条直线都和第三条直线平行”是前提，“这两条直线也互相平行”是结论．有些数学命题的前提或结论不十分明显，“对顶角相等”就是其中一例．若把它叙述成“如果两个角是对顶角，则它们相等”，就容易分清前提和结论了．前提或结论可能不止一个，例如，在“等边三角形中各角都相等，并且每一个角都等于60°”中，就有两个结论．使学生分清前提和结论对于顺利进行推理、论证具有很重要的意义．