首页 > 留学知识库

问题: 什么叫定理?

急......

解答:

定理是从真命题(公理或其他已被证明的定理)出发,经过受逻辑限制的演绎推导,证明为正确的结论,即另一个真命题。例如“平行四边形的对边相等”就是平面几何中的一个定理。
定理需要某些逻辑框架,继而形成一套公理(公理系统)。同时,一个推理的过程,容许从公理中引出新定理和其他之前发现的定理。

在命题逻辑,所有已证明的叙述都称为定理