更新时间:-- | 阅读量: 83
以演绎推理为基本内容的逻辑系统。传统的演绎逻辑的研究对象包括性质命题的直接推理、三...现代演绎逻辑扩大了演绎证明的手段，使传统演绎逻辑的许多概念得到更确切的解释，并把一系列新的问题，如演绎体系的不矛盾性问题、完全性问题等等，引入了演绎证 ...
搜索到与“ 演绎逻辑”相关的文献共 0条
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
