謂詞演算對偶規則

謂詞演算對偶規則(duality principle in predi- cate calculus)是詞演算的一種語法規則。

基本介紹

• 中文名：謂詞演算對偶規則
• 外文名：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)].