真命題就是正確的命題，即如果命題的題設成立，那麼結論一定成立。一個命題都可以寫成這樣的格式：如果+條件，那麼+結論。條件和結果相矛盾的命題是假命題。另外如果結論不完全符合條件（有符合條件但不符合結論的特例），也算假命題。
定理與真命題
定理是根據公理或已知的定理推導出來的真命題。這些真命題都是最基本的和常用的，所以被人們選作定理。還有許多經過證明的真命題沒有被選作定理。所以，定理都是真命題，而真命題不都是定理。例如：“若∠1=∠2，∠2=∠3，那麼∠1=∠3”，這就是一個真命題，但不能說是定理。
總之，公理和定理都是真命題，但有的真命題既不是公理。也不是定理。公理和定理的區別主要在於：公理的正確性不需要用推理來證明，而定理需要證明。
