请输入您要查询的词汇:
词汇
tautology rule
释义
tautology rule
同语反覆规则,重言式规则
在述词演算中,由於同语反覆对於任何解释都为永真,故从子句集s中删去那些同语反覆的所有子句,余下的集合s与原来的s集合两者的不可满足性仍然等价,这就是同语反覆规则。
随便看
joggle
jog trot
Johannesburg
Johannine
Johannisberger
Johann Rudolf Glauber
John
john
Johnadreams
John Barleycorn
John Birch Society
johnboat
John Bull
John Collins
John Doe
John Dory
John Hancock
Johnniac open-shop system
johnny
johnnycake
Johnny-come-lately
Johnny-jump-up
Johnny-on-the-spot
Johnny Raw
Johns
语文网英语在线翻译词典收录了223822条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。
Copyright © 2000-2024 Yuwen.pub All Rights Reserved
京ICP备2021023879号
更新时间:2024/12/22 12:12:16