真命題和定義有什麼區別

　　真命題是一種邏輯學術語一般的，在數學中把用語言，符號或式子表達的，任何命題的真值都是唯一的，稱真值為真的命題為真命題。

　　定義，是人們相互交流必須對某些名稱和術語有共同的認識才能進行，對名稱和術語的含義加以描述，作出明確的規定。

　　是定義一定是真命題，真命題的不一定是定義。

　　1、作用不同：宣告是引入識別符號和識別符號的型別，方便以後引用。定義是例項代識別符號，可為識別符號分配儲存空間，為識別符號指定初始值，定義可以代替宣告。

　　2、使用次數：所有識別符號只能有一次定義，而宣告可以有多次。

　　3、位置：變數的宣告必須在使用或編寫的檔案內，而變數的定義可以在標頭檔案中定義之後直接宣告引用。

　　真命題就是正確的命題，即如果命題的題設成立，那麼結論一定成立。一個命題都可以寫成這樣的格式：如果+條件，那麼+結論。條件和結果相矛盾的命題是假命題。另外如果結論不完全符合條件（有符合條件但不符合結論的特例），也算假命題。

　　定理與真命題

　　定理是根據公理或已知的定理推匯出來的真命題。這些真命題都是最基本的和常用的，所以被人們選作定理。還有許多經過證明的真命題沒有被選作定理。所以，定理都是真命題，而真命題不都是定理。例如：“若∠1=∠2，∠2=∠3，那麼∠1=∠3”，這就是一個真命題，但不能說是定理。

　　總之，公理和定理都是真命題，但有的真命題既不是公理。也不是定理。公理和定理的區別主要在於：公理的正確性不需要用推理來證明，而定理需要證明。