分离规则

概述

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

2百科释义

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

9词语组词

分字组词 离字组词 规字组词 则字组词

参相关词条

七子均养 利惹名牵 同伦群 吴志云 吴自强 四孔草 实物产品 密码错译 山榄科 慧园 抚军将军 摈诸门外 早乙女太一 易博 松冈璃奈子 泰罗斯卫星 永靖县 灵芝酒 猴精 眼白洋洋 痔速宁颗粒 石岛红 砂锅雅鱼 立舒 空调热回收 肖念 苗晓东 袒护 薄瓜瓜 西格蒙德 西藏隔距兰 蒋良惠 质量 邪恶异种 量腹而食 顾晨 食积颗粒 上升旗形 魔声录音师 金色吸蜜鹦鹉 三国志影视 璃殇 红床 鲜维特 四季玫瑰 贝里肯龙 黑魔虾 孙基祯 非洲凤头鹟 莽草丸

本词条最后更新于 2026-07-01 09:43:29

链友情链接

抓书网 短词网 书号查询 星云网 流行病学三角是什么意思？ 齐人歌知识点是什么意思？ 王浩波是什么意思？ 陕西是什么意思？ 外贸业务员（厦门同安上班） (新职位)是什么意思？ 勧是什么意思？ 查看详情是什么意思？ 查看详情是什么意思？ 廴是什么意思？ 千山天气预报30天是什么意思？ 凉血润燥饮是什么意思？ 秋韵红茶庄是什么意思？ 禾市镇是什么意思？ 百家号是什么意思？ 河北天气预报30天是什么意思？ 艹部是什么意思？