分离规则

拼音fēn lí guī zé 注音ㄈㄣ ㄌㄧˊ ㄍㄨㄟ ㄗㄜˊ 更新2026-07-28 11:03:08
读音信息
拼音字母
fen li gui ze
拼音首字母
flgz
注音符号
ㄈㄣ ㄌㄧ ㄍㄨㄟ ㄗㄜ
注音首字母
ㄈㄌㄍㄗ
百科释义

分离规则( modus ponens或 rule of detachment)形式系统中的基本变形规则。它规定:由某系统断定或肯定A和A-B,可以推得该系统也断定B。

拆字组词
相关词语