释
分离规则
fēn lí guī zé · ㄈㄣ ㄌㄧˊ ㄍㄨㄟ ㄗㄜˊ
修撰于 2026-06-30 18:35:27
音义
| 拼音 | fēn lí guī zé |
|---|---|
| 字母 | fen li gui ze |
| 首字母 | flgz |
| 注音 | ㄈㄣ ㄌㄧˊ ㄍㄨㄟ ㄗㄜˊ |
| 注音符号 | ㄈㄣ ㄌㄧ ㄍㄨㄟ ㄗㄜ |
广训
分离规则( modus ponens或 rule of detachment)形式系统中的基本变形规则。它规定:由某系统断定或肯定A和A-B,可以推得该系统也断定B。
fēn lí guī zé · ㄈㄣ ㄌㄧˊ ㄍㄨㄟ ㄗㄜˊ
修撰于 2026-06-30 18:35:27
| 拼音 | fēn lí guī zé |
|---|---|
| 字母 | fen li gui ze |
| 首字母 | flgz |
| 注音 | ㄈㄣ ㄌㄧˊ ㄍㄨㄟ ㄗㄜˊ |
| 注音符号 | ㄈㄣ ㄌㄧ ㄍㄨㄟ ㄗㄜ |
分离规则( modus ponens或 rule of detachment)形式系统中的基本变形规则。它规定:由某系统断定或肯定A和A-B,可以推得该系统也断定B。