平角的一半是直角，不是定理，这是一个真命题。

定理，是用逻辑的方法判断为正确并作为推理的根据的真命题。一个从其他定理引伸出来的 数学叙述可以不经过成为 猜想的过程，成为定理。

真命题是逻辑学术语。真值只能取两个值:真或假。真对应判断正确，假对应判断错误。任何命题的真值都是唯一的，称真值为真的命题为真命题。