导出推演规则(rule of derivation)亦称“推演的语法规则”。简称“导出规则”。根据初始推演规则(简称初始规则)一再出现的推理形式而作的概括。这种规则可以将若干步推演简化为一步,并可用元语言加以表述和证明。导出规则和初始规则不一样。初始规则不能省略,导出规则可以省略。使用导出规则的任何演绎,也总能用初始规则推出。
生产安全隐患的词语属性 拼音shng chn n qun yn hun拼音字母sheng chan an quan yin huan拼音首字母scaqyh 生产安全隐患的百科含义 事故隐患是指作业场所、设备及设施的不安全状态,人的不安全行为和管理上的缺陷,是引发安全事故的直接原因。重大事故隐患是指可能导致重大人