自然推理系统的网络释义
自然推理系统(axiomatic system of natural deduction)一种谓词演算公理系统。所谓自然推理系统,是指不含任何公理、只含规则的推理系统。除了重复规则Rep外,每个连接词符号一般都有I规则(引人连接词符号)和E规则(消去连接词符号);对于命题常元符号,T有I规则,⊥有E规则。
繁体字转换器为您提供自然推理系统繁体,自然推理系统的老写,自然推理系统的繁体,自然推理系统的繁体字如何写,自然推理系统的繁体字,自然推理系统的繁体字转换对照,自然推理系统的简繁体互转,自然推理系统的繁体字怎么写,自然推理系统繁体字,自然推理系统繁体笔画,自然推理系统的简繁体字怎么写,自然推理系统简体繁体转换,怎么写自然推理系统的繁体字,自然推理系统的繁体怎么写等自然推理系统繁体字在线查询。