[转载]定义、公理、定理、推论、命题和引理的区别
2016-04-20 19:19
246 查看
http://blog.sina.com.cn/s/blog_3e26cd0b010008gx.html
定义(definition)、公理(axiom)、定理(theorem)、推论(corollary)、命题(proposition)、引理(lemma)之间的相互关系基本如下。
首先、定义和公理是任何理论的基础,定义解决了概念的范畴,公理使得理论能够被人的理性所接受。
其次、定理和命题就是在定义和公理的基础上通过理性的加工使得理论的再延伸,我认为它们的区别主要在于,定理的理论高度比命题高些,定理主要是描述各定义(范畴)间的逻辑关系,命题一般描述的是某种对应关系(非范畴性的)。而推论就是某一定理的附属品,是该定理的简单应用。
最后、引理就是在证明某一定理时所必须用到的其它定理。而在一般情况下,就像前面所提到的定理的证明是依赖于定义和公理的。
定义(definition)、公理(axiom)、定理(theorem)、推论(corollary)、命题(proposition)、引理(lemma)之间的相互关系基本如下。
首先、定义和公理是任何理论的基础,定义解决了概念的范畴,公理使得理论能够被人的理性所接受。
其次、定理和命题就是在定义和公理的基础上通过理性的加工使得理论的再延伸,我认为它们的区别主要在于,定理的理论高度比命题高些,定理主要是描述各定义(范畴)间的逻辑关系,命题一般描述的是某种对应关系(非范畴性的)。而推论就是某一定理的附属品,是该定理的简单应用。
最后、引理就是在证明某一定理时所必须用到的其它定理。而在一般情况下,就像前面所提到的定理的证明是依赖于定义和公理的。
相关文章推荐
- poj3254 状态压缩dp
- android仿微信聊天界面
- Score
- anaconda + tensorflow +ubuntu 超级菜鸟,大家多指正
- struts2开发8--批量上传文件
- 制作动态库 dynamic framework
- IP地址、子网掩码、网络号、主机号、网络地址、主机地址
- 末班方法代码实战和总结
- 使用sqlmap 绕过防火墙进行注入测试
- objc_setAssociatedObject关联
- iOS开发UI篇—UITableviewcell的性能优化和缓存机制
- 关于hrtimer_forward小段代码的分析【转】
- BZOJ4380: [POI2015]Myjnie
- Segment(技巧 相乘转换成相加 + java)
- android 工程eclipse打包so和jar包混淆
- MATLAB文件夹路径生成list
- k-means 简单实现
- [bzoj4524][CQOI2016]伪光滑数
- nfs 的配置步骤,纯操作,没理论
- spring中事务的管理基于xml和注解,以及spring在web中应用