基本属性
- 拼音字母fen li gui ze
- 拼音首字母flgz
- 注音符号ㄈㄣ ㄌㄧ ㄍㄨㄟ ㄗㄜ
扩展释义
分离规则( modus ponens或 rule of detachment)形式系统中的基本变形规则。它规定:由某系统断定或肯定A和A-B,可以推得该系统也断定B。
「分离规则」是汉语中常见词语。本文从读音、释义、出处等方面为您权威解读。拼音:fēn lí guī zé,注音:ㄈㄣ ㄌㄧˊ ㄍㄨㄟ ㄗㄜˊ。
分离规则( modus ponens或 rule of detachment)形式系统中的基本变形规则。它规定:由某系统断定或肯定A和A-B,可以推得该系统也断定B。