真命題就是正确的命題,即如果命題的題設成立,那麼結論一定成立。一個命題都可以寫成這樣的格式:如果+條件,那麼+結論。條件和結果相矛盾的命題是假命題。另外如果結論不完全符合條件(有符合條件但不符合結論的特例),也算假命題。
定理與真命題
定理是根據公理或已知的定理推導出來的真命題。這些真命題都是最基本的和常用的,所以被人們選作定理。還有許多經過證明的真命題沒有被選作定理。所以,定理都是真命題,而真命題不都是定理。例如:“若∠1=∠2,∠2=∠3,那麼∠1=∠3”,這就是一個真命題,但不能說是定理。
總之,公理和定理都是真命題,但有的真命題既不是公理。也不是定理。公理和定理的區别主要在于:公理的正确性不需要用推理來證明,而定理需要證明。
更多精彩资讯请关注tft每日頭條,我们将持续为您更新最新资讯!