对于自然推理系统，有许多人不了解，那么下面来看看小蓉对自然推理系统的相关介绍。
自然推理系统
1、自然推理系统(axiomaticsystemofnaturaldeduction)一种谓词演算公理系统。所谓自然推理系统，是指不含任何公理、只含规则的推理系统。除了重复规则Rep外，每个连接词符号一般都有I规则(引人连接词符号)和E规则(消去连接词符号)；对于命题常元符号，T有I规则，⊥有E规则。
文章到此就分享结束，希望对大家有所帮助。
