对偶规则

出处：按学科分类—自然科学总论 山东人民出版社《方法大辞典》第60页（159字）

设A是谓词演算中的一个公式，其中不含有→和，设A^*是将A中的∨换为∧，∧换为∨，换为，换为后所得到的公式。

对偶规则是指：若可证，则可证。

对偶规则可用来简化定理的证明。

例如，如果我们知道可证，则可用对偶规则立即推出可证。