分离规则
fēn lí guī zé · ㄈㄣ ㄌㄧˊ ㄍㄨㄟ ㄗㄜˊ
- 字母
- fen li gui ze
- 首字母
- flgz
- 注音符号
- ㄈㄣ ㄌㄧ ㄍㄨㄟ ㄗㄜ
- 注音首符
- ㄈㄌㄍㄗ
分离规则( modus ponens或 rule of detachment)形式系统中的基本变形规则。它规定:由某系统断定或肯定A和A-B,可以推得该系统也断定B。
fēn lí guī zé · ㄈㄣ ㄌㄧˊ ㄍㄨㄟ ㄗㄜˊ
分离规则( modus ponens或 rule of detachment)形式系统中的基本变形规则。它规定:由某系统断定或肯定A和A-B,可以推得该系统也断定B。
文络智义词库,您的专属汉语词典。海量词条,精准释义,成语、近义词、反义词一键查询。专业友好的界面,让词语学习更高效。
抓书网 短词网 书号查询 星云网 持是什么意思? Json转Excel/CSV格式是什么意思? 内蒙古自治区天气预报30天是什么意思? 查看云南天气-北京市天气 查看云南天气 云南是什么意思? (BFR)体脂率计算 人体体脂率(BFR)在线计算工具是什么意思? qiao是什么意思? 建立长期合作:9个英文感谢客户邮件模板(节日+成交+推荐)是什么意思? 众星攒月是什么意思? 网络变压器是什么意思? 齊部首的字是什么意思? 种植蔬菜大棚知识是什么意思? 水果制品是什么意思? 乐山特产是什么意思? 中学教育是什么意思? 春天的作文300字三年级(31篇)是什么意思? 瓶内发酵是什么意思?