请问「分离规则」是什么意思?
2026-07-16 01:51:28
「分离规则」读音
拼音 fēn lí guī zé,注音 ㄈㄣ ㄌㄧˊ ㄍㄨㄟ ㄗㄜˊ
| 拼音字母 | fen li gui ze |
|---|---|
| 拼音首字母 | flgz |
| 注音符号 | ㄈㄣ ㄌㄧ ㄍㄨㄟ ㄗㄜ |
| 注音首符号 | ㄈㄌㄍㄗ |
「分离规则」释义
扩展释义 分离规则( modus ponens或 rule of detachment)形式系统中的基本变形规则。它规定:由某系统断定或肯定A和A-B,可以推得该系统也断定B。
请问「分离规则」是什么意思?
「分离规则」读音
拼音 fēn lí guī zé,注音 ㄈㄣ ㄌㄧˊ ㄍㄨㄟ ㄗㄜˊ
| 拼音字母 | fen li gui ze |
|---|---|
| 拼音首字母 | flgz |
| 注音符号 | ㄈㄣ ㄌㄧ ㄍㄨㄟ ㄗㄜ |
| 注音首符号 | ㄈㄌㄍㄗ |
「分离规则」释义
扩展释义 分离规则( modus ponens或 rule of detachment)形式系统中的基本变形规则。它规定:由某系统断定或肯定A和A-B,可以推得该系统也断定B。