5.1.1 由命题公式移植来的等值式 若将命题公式的等值式，直接以谓词公式代入命题变项便可 得谓词等值式.由 -p=pP→q=pVq,(p∧q)Vr=(pVr)∧(qVr) 可得 一-P(X)=P(X) 一(X)P(X)=(X)P(X) P(x)-Q(x)=-P(x)VQ(x) (Vx)P(x)x)Q(x)=-(Vx)P(x)Vx)Q(x) (P(x)AQ(x))VR(x)=(P(x)VR(x))A(Q(x)VR(x)) ((Vx)P(x)AQ(y))V(z)R(z)=((Vx)P(x)V(z)R(z))A(Q(y)V (3z)R(Z)5．1．1 由命题公式移植来的等值式 n 若将命题公式的等值式，直接以谓词公式代入命题变项便可 得谓词等值式．由 ﹁﹁p＝p,p→q=﹁p∨q, (p∧q)∨r=(p∨r)∧(q∨r) 可得 ﹁﹁P(x)＝P(x) ﹁﹁(x)P(x)＝(x)P(x) P(x)→Q(x)＝﹁P(x)∨Q(x) (x)P(x)→(x)Q(x)＝﹁ (x)P(x)∨(x)Q(x) (P(x)∧Q(x))∨R(x)=(P(x)∨R(x))∧(Q(x)∨R(x)) ((x)P(x)∧Q(y))∨(z)R(z)=((x)P(x)∨(z)R(z))∧(Q(y)∨ (z)R(z))