一般的,在数学中把用语言、符号或式子表达的,可以判断真假的陈述句叫做命题。命题真值只能取两个值:真或假。真对应判断正确,假对应判断错误。任何命题的真值都是唯一的,称真值为真的命题为真命题。
真命题就是正确的命题,即如果命题的题设成立,那么结论一定成立。如:
①两条平行线被第三条直线所截,同位角相等。
②如果a>b,b>c那么a>c。
③对顶角相等。
定理是根据公理或已知的定理推导出来的真命题。这些真命题都是最基本的和常用的,所以被人们选作定理。还有许多经过证明的真命题没有被选作定理。所以,定理都是真命题,而真命题不都是定理。
总之,同位角相等不是真命题,只有两条被截线平行时,被第三条直线所截的同位角才相等。