智能词典助手

基于汉语知识库 · 词语释义与组词查询

请帮我解释一下「分离规则」这个词的含义。

助手

「分离规则」释义报告

拼音 fēn lí guī zé · 更新 2026-08-17 11:48:54

读音

  • 拼音fēn lí guī zé
  • 字母fen li gui ze
  • 首字母flgz
  • 注音ㄈㄣ ㄌㄧˊ ㄍㄨㄟ ㄗㄜˊ

补充释义

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