量化表达式的逻辑等价 口逻辑表达式的逻辑等价: 都有相同的真值,无论变量设定在哪个论域上, 无论什么谓词代入。 口例 口Vx(P(x)∧Q(x)≡VxP(x)∧VxQ(x) 口3x(P(x)VQ(x))≡彐xP(x)V彐xQ(x) 逻辑表达式的逻辑等价： 都有相同的真值，无论变量设定在哪个论域上， 无论什么谓词代入。  例：  x(P(x)  Q(x))  xP(x)  xQ(x)  x(P(x)  Q(x))  xP(x)  xQ(x) 量化表达式的逻辑等价