真命題和假命題的區別

【真命題和假命題的區別】

真命題和假命題的區別


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

    推薦閱讀