令“=”作为逻辑关系符是一种 等价关系 A=B是表示公式A与B的一种关系。这种关 系具有三个性质: 1.自反性A=A。 2.对称性若A=B则B=A。 3.传递性若A=B,B=C则A=C。 这三条性质体现了“=”的实质含义。❖ “ ＝ ”作为逻辑关系符是一种 等价关系 A = B是表示公式A与B的一种关系。这种关 系具有三个性质: 1. 自反性 A = A。 2. 对称性 若A = B则B = A。 3. 传递性 若A = B, B = C则A = C。 这三条性质体现了“ ＝ ”的实质含义