具相等性謂詞演算是指帶等號的謂詞演算.它是將相等性與謂詞演算結合起來，並將下列公理與公理模式加到謂詞演算的公理系統中所得的系統。
具相等性謂詞演算(predicate calculus with e- quality)帶等號的謂詞演算.它是將相等性與謂詞演算結合起來，並將下列公理與公理模式加到謂詞演算的公理系統中所得的系統.相等性公理如下:
a(二)是含自由變元x的公式.
公式
具相等性謂詞演算是指帶等號的謂詞演算.它是將相等性與謂詞演算結合起來，並將下列公理與公理模式加到謂詞演算的公理系統中所得的系統。