农企新闻网

定理是经过推理证实的什么

发布者:李原
导读根据定理的概念,经过推理证实得到的真命题叫定理。通过真命题(公理或其他已被证明的定理)出发,经过受逻辑限制的演绎推导,证明为正确的结论的命题或公

根据定理的概念,经过推理证实得到的真命题叫定理。通过真命题(公理或其他已被证明的定理)出发,经过受逻辑限制的演绎推导,证明为正确的结论的命题或公式,例如“平行四边形的对边相等”就是平面几何中的一个定理。

在数学里,定理是指在既有命题的基础上证明出来的命题,这些既有命题可以是别的定理,或者广为接受的陈述,比如公理。数学定理的证明即是在形式系统下就该定理命题而作的一个推论过程。定理的证明通常被诠释为对其真实性的验证。由此可见,定理的概念基本上是演绎的,有别于其他需要用实验证据来支持的科学理论。

有许多数学定理都是条件句,此时定理的证明是从假设出发,推出结论。因为证明跟真实性往往被连系起来,所以结论也常被视作是假设的必然结果。也就是说,假设成立的话,结论也成立,毋需加上额外条件。但要指出的是,条件句式在不同的形式系统下可以有着不同的诠释,视乎如何对当中的推理规则和蕴含符号作解读。