英语词汇“tautology rule”的读音、翻译、释义、用法及例句-语文网

词汇	tautology rule
释义	tautology rule 同语反覆规则，重言式规则在述词演算中，由於同语反覆对於任何解释都为永真，故从子句集s中删去那些同语反覆的所有子句，余下的集合s与原来的s集合两者的不可满足性仍然等价，这就是同语反覆规则。
随便看	阿布达比阿弥陀佛阿必尚阿托品阿拉丁神灯阿拉伯阿拉伯人阿拉伯单峰骆驼阿拉伯字母阿拉伯数字阿拉伯联合大公国阿拉伯语阿斗阿斯匹林阿曼阿根廷阿根廷人阿森松岛阿比亚阿比西尼亚猫阿波罗阿尔卑斯山脉阿尔及利亚阿尔及利亚人阿尔及尔

语文网英语在线翻译词典收录了223822条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。