分离规则

分离规则的词语属性

分离规则的百科含义

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

• 牛家学
• 闲山岛海战
• 少林学校
• 魔力空间
• 变色蜥
• 蒙阴镇
• 耳和髎
• 救火鸟
• 上合村
• 二十三蒸
• 新七仙女
• 徐克俭
• 宽宇画廊
• 波尔达克
• 花生煲猪肚
• 写给父母
• 海军核救援
• 勉县
• 陈昌盛
• 付正先
• jiǎn jī简稽
• 提弹法
• 敦本务实
• 外交手段
• 徐寅之
• 御参寺京华
• 四娘物语
• 叉唇角盘兰
• 水上运输
• chuán jiàn传箭