分离规则
概述
分离规则( modus ponens或 rule of detachment)形式系统中的基本变形规则。它规定:由某系统断定或肯定A和A-B,可以推得该系统也断定B。
2 扩展释义
分离规则( modus ponens或 rule of detachment)形式系统中的基本变形规则。它规定:由某系统断定或肯定A和A-B,可以推得该系统也断定B。
9 词语组词
相关词条
本词条最后更新于 2026-07-16 05:15:41
友情链接
抓书网
短词网
书号查询
星云网
联系方式是什么意思？
鹿角铁皇冠 拼音 lù jiǎo tiě huáng guān，一文读懂「鹿角铁皇冠」的含义、出处与用法。 lù jiǎo tiě huáng guān 国典词典 - 汉语词语大全 2026-06-30 15:41:30是什么意思？
襄阳职业技术学院有空调吗是什么意思？
长沙天气预报30天是什么意思？
罗威纳是什么意思？
贵阳天气预报30天是什么意思？
你的笑作文是什么意思？
朝阳门是什么意思？
国际区号是什么意思？
理财计划范文是什么意思？
关于我们是什么意思？
Python代码格式化工具是什么意思？
形容年龄已高的词语有什么是什么意思？
张鸿雁是什么意思？
基西拉是什么意思？
查看海南天气-未来一周 查看海南天气 海南是什么意思？