网站首页 词典首页
设A是谓词演算中的一个公式,其中不含有→和,设A*是将A中的∨换为∧,∧换为∨,换为,换为后所得到的公式。
对偶规则是指:若可证,则可证。
对偶规则可用来简化定理的证明。
例如,如果我们知道可证,则可用对偶规则立即推出可证。
文网收录3541549条中英文词条,其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似,基本涵盖了全部常用中英文字词句的读音、释义及用法,是语言学习和写作的有利工具。