1、定理:已经证明具有正确性、可以作为原则或规律的命题或公式,如几何定理。一般为某个演绎系统的初始命题。这样的命题在该系统内是不需要其他命题加以证明的,并且它们是推出该系统内其他命题的基本命题。定理都是真命题。
2、命题:判断一件事情的语句,叫做命题。命题由题设和结论两部分组成。命题不一定是定理。
1、定理:已经证明具有正确性、可以作为原则或规律的命题或公式,如几何定理。一般为某个演绎系统的初始命题。这样的命题在该系统内是不需要其他命题加以证明的,并且它们是推出该系统内其他命题的基本命题。定理都是真命题。
2、命题:判断一件事情的语句,叫做命题。命题由题设和结论两部分组成。命题不一定是定理。