请输入您要查询的词汇:
词汇
tautology rule
释义
tautology rule
同语反覆规则,重言式规则
在述词演算中,由於同语反覆对於任何解释都为永真,故从子句集s中删去那些同语反覆的所有子句,余下的集合s与原来的s集合两者的不可满足性仍然等价,这就是同语反覆规则。
随便看
着陆舱
着陆装置
着魔
葚
葛
葛布
葛根
葛藤
葡
葡(糖)甘露聚糖
葡萄
葡萄乾
葡萄园
葡萄架
葡萄柚
葡萄核
葡萄牙
葡萄牙人
葡萄牙语
葡萄球菌
葡萄皮
葡萄藤
葡萄糖
葡萄聚糖
葡萄胎
语文网英语在线翻译词典收录了223822条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。
Copyright © 2000-2024 Yuwen.pub All Rights Reserved
京ICP备2021023879号
更新时间:2026/7/9 17:37:09