谓词演算对偶规则(duality principle in predi- cate calculus)是词演算的一种语法规则.谓词演算对偶规则(duality principle in predi- cate calculus)谓词演算的一种语法规则.对偶规则指出:设a,月为两谓词演算公式,而a" ,月'分别为它们的对偶式,则: 利用对偶原则,可以从一些定理迅速得到与之相应的另一些定理.例如,由定理}CElx)[F (x)八 G(x)]三[C}lx)F(x)八(}lx)G}x)],利用对偶原则能得到定理卜C}x)[F(x) }G(x)]三[(}x)F(x) }l (}x)G(x)]. [1]