你
请解释一下「分离规则」这个词的含义。
助手
分离规则
fēn lí guī zé · ㄈㄣ ㄌㄧˊ ㄍㄨㄟ ㄗㄜˊ
fen li gui ze
flgz
ㄈㄣ ㄌㄧ ㄍㄨㄟ ㄗㄜ
2026-07-16 10:43:48
扩展释义
分离规则( modus ponens或 rule of detachment)形式系统中的基本变形规则。它规定:由某系统断定或肯定A和A-B,可以推得该系统也断定B。
请解释一下「分离规则」这个词的含义。
分离规则( modus ponens或 rule of detachment)形式系统中的基本变形规则。它规定:由某系统断定或肯定A和A-B,可以推得该系统也断定B。