谓词演算中的推演规则。设A和B为谓词演算中两个公式，其中
，↔不出现，A°和B°分别是A和B的对偶式，那么
(1) 从├A↔B，可得├A°↔B°。
(2) 从├A
B，可得├B°
A°。
例如：有定理：
├(x)(F(x)∧G(x))↔(x)F(x)∧(x)G(x)
根据对偶规则，直接可得它的对偶定理是：
“├(∃x)(F(x)∨G(x))↔(∃x)F(x)∨(∃x)G(x)。”
- 杜威
- 杜守素
- 杜尔狄克
- 杜布赞斯基
- 杜弗莱纳
- 杜弼
- 杜德机
- 杜恒
- 杜林
- 杜林
- 杜梅特
- 杜武库
- 杜比斯拉夫
- 杜米特留
- 杜里舒
- 杜预
- 束身寡过主义
- 条件
- 条件反射
- 条件句逻辑
- 条件命题
- 条件概率
- 条件类比
- 条件联系
- 条件证明规则
- Hukso
- Huksoni
- Hukuntsi
- HUL
- Hulaban
- hulac
- hula
- Hulagu
- hulagus
- Hulah
- hula hoop
- Hulahoop
- Hulah Res.
- hulahula
- hula hula
- 情感婚姻语录生活图片唯美是什么意思
- 你是太阳我是月亮情感散文是什么意思
- 古诗文选择题情感表达方式是什么意思
- 情感小站文案是什么意思
- 关于男人情感散文名篇是什么意思
- 情感读文文案长篇伴奏是什么意思
- 悲伤情感短文案是什么意思
- 情感感悟的句子简短的是什么意思
- BLACK歌词手写情书是什么意思
- 情书30字例文是什么意思
- 情感治愈文案人物图是什么意思
- 收到的情书都是新岛的吗是什么意思
- 情感文案没发布过是什么意思
- 寻找一篇情感散文是什么意思
- 推荐游戏情感文案句子是什么意思
- 因琐事争端把男朋友论文删了
- 老公性无能该不该离婚
- 老公和别的女人微信暧昧怎么处理
- 做过小三的男人能嫁吗
- 老公外面有女人,老婆应该怎么做
- 婆婆什么都要管怎么办
- 一吵架男朋友就动手打我
- 纠缠十几年二十几年的感情，可以理解么
- 和婆婆合不来又不得不住一起怎么办
- 老公想卖我的婚前房，我不同意
- 跟单亲妈妈的儿子结婚，婚姻关系会不会更为难
- 男人大男子主义好不好
- 亲密关系中，性格刚烈或许是种“心病”
- 为什么在亲密关系中拧巴
- 婆婆影响夫妻感情怎么办
- 太阳天秤座和水星狮子座合适吗
- 水星狮子座男生喜欢的礼物
- 水星狮子座人的一生婚姻
- 水星狮子座没有男女之分吗
- 怎么搞定水星狮子座的男生
- 太阳狮子座水星天秤男性格怎么样
- 两个人水星都是狮子座好不好
- 太阳狮子座女和水星水瓶男合适吗
- 水星狮子座的逻辑思维特点
- 7宫 水星 狮子座代表什么
- 水星狮子座跟太阳狮子座的区别
- 太阳金牛水星狮子座的明星
- 太阳狮子座与水星狮子座的区别
- 水星摩羯和水星狮子座配吗
- 水星狮子座太阳狮子座男人怎么样