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