自然推理系统(axiomatic system of natural deduction)一种谓词演算公理系统。所谓自然推理系统，是指不含任何公理、只含规则的推理系统。除了重复规则Rep外，每个连接词符号一般都有I规则(引人连接词符号)和E规则(消去连接词符号)；对于命题常元符号，T有I规则，⊥有E规则。
金山软件公司的词语属性 拼音jn shn run jin gng s拼音字母jin shan ruan jian gong si拼音首字母jsrjgs 金山软件公司的百科含义 金山软件股份有限公司创建于1988年，是中国领先的应用软件产品和服务供应商。总部在北京，公司机构分别设立在广东珠海、北京、成都、大连，并在
电子设计工程的词语属性 拼音din z sh j gng chng拼音字母dian zi she ji gong cheng拼音首字母dzsjgc 电子设计工程的百科含义 《电子设计工程》是1993年创刊，是由国家科委和新闻出版署批准，西安市三才科技实业有限公司主办的技术性学术刊物。据2018年5月《电子设计工程》官
