自然推理系统
【词语拼音】zì rán tuī lǐ xì tǒng
【词语繁体】自然推理系統
【词语结构】式词语
【词语字数】六字词语
【网络解释】
自然推理系统(axiomatic system of natural deduction)一种谓词演算公理系统。所谓自然推理系统，是指不含任何公理、只含规则的推理系统。除了重复规则Rep外，每个连接词符号一般都有I规则(引人连接词符号)和E规则(消去连接词符号)；对于命题常元符号，T有I规则，⊥有E规则。
自然系统自然色系统自然颜色系统自然系统模式自然生态系统推广系统推荐系统统计推理关系推理自控系统自愈系统自动系统自我系统自助系统自治系统公理系统系统理念系统清理病理系统系统理论系统原理系统管理地理系统自然哲理自然机理自然公理自然肌理或然性推理必然性推理自推然自自然自学习系统系统自动化自动化系统导弹推进系统系统自组织推理自组织系统自清扫系统自繁殖系统自适应系统自组装系统自然坐标系自然的体系大系统理论系统管理学系统管理员管理子系统管理型系统管理系统化批处理系统多代理系统系统心理学系统管理法系统统系自然地理学自然的理由纯粹关系推理自然自然保护统计自然资源统计自动驾驶系统自助建站系统单自由度系统多自由度系统自动对焦系统自动补货系统压风自救系统自动加药系统自我净化系统自动检测系统自动交易系统自动分拣系统自动识别系统自旋统计关系理统统理自系自动报价系统自动控制系统自动沐浴系统自动录播系统自持生态系统楼宇自控系统安全自毁系统自动读表系统自控生态系统自动收费系统关系系统母系系统系泊系统系统管理培训系统安全管理心理现象系统数学系统理论