真命題和假命題的區(qū)別

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

定理與真命題

定理是根據(jù)公理或已知的定理推導(dǎo)出來(lái)的真命題。這些真命題都是最基本的和常用的，所以被人們選作定理。還有許多經(jīng)過(guò)證明的真命題沒(méi)有被選作定理。所以，定理都是真命題，而真命題不都是定理。例如：“若∠1=∠2，∠2=∠3，那么∠1=∠3”，這就是一個(gè)真命題，但不能說(shuō)是定理。

總之，公理和定理都是真命題，但有的真命題既不是公理。也不是定理。公理和定理的區(qū)別主要在于：公理的正確性不需要用推理來(lái)證明，而定理需要證明。