華閱文章網命題與語句的關系
命題、定義、定理、公理、推論
命題：判斷一件事情的語句，叫做命題。命題由題設和結論兩部分組成。題設是已知事項，結論是由已知事項推出的事項。命題常可以寫成“如果。。那么……”的形式，這是“如果”后接的部分叫題設，“那么”后面的叫結論。如果題設成立，那么結論一定成立.像這樣的命題叫做真命題。如果題設成立時，不能保證結論一定成立，像這樣的命題叫做假命題。
定義：對于一種事物的本質特征或一個概念的內涵和外延的確切而簡要的說明。
人們相互交流必須對某些名稱和術語有共同的認識才能進行。為此，就要對名稱和術語的含義加以描述，作出明確的規定，也就是給出它們的定義（definition）。
定理：已經證明具有正確性、可以作為原則或規律的命題或公式，如幾何定理。
一般為某個演繹系統的初始命題。這樣的命題在該系統內是不需要其他命題加以證明的，并且它們是推出該系統內其他命題的基本命題。
定理都是真命題。如對頂角相等；兩直線平行，同位角相等；同位角相等，兩直線平行；等等
公理：①經過人類長期反復實踐的考驗，大家都認可的不需要再加證明的命題，如：如果A=B,B=C，則A=C。②社會上多數人公認的正確道理
推論：一般是對定理的補充和完善（當然也必須為真命題）。
