常用工具
有声词典
语法查询
拼写检查
更多工具
软件
首页
动画
Flash
文章
软件
中文详解
经典例句
自然演绎
在数理逻辑中,自然演绎是证明论中尝试提供象“自然”发生一样的逻辑推理形式模型的一种方式。这种方式对比于使用公理的公理系统。
更多句子>>>