Q定理186(代娘宾到:没xY是两个集合 φ是P(X)→P(Y)的同态映射,这里P(X)和 P(Y分别是X,Y上的(自由)命题代数。设 w=w(x1,xn)是P(X)的元素,A是P(X)的 子集,令q=φ(x,q;∈P(Y), (1)如果Aw,则q(A)g(w)(=wq1 ···9 (2)如果Aw,则 p(△)Fp(w)(=w(q1,…,qn 定理18.6(代换定理):设X,Y是两个集合， 是P(X)→P(Y)的同态映射，这里P(X)和 P(Y)分别是X,Y上的(自由)命题代数。设 w=w(x1 ,,xn )是P(X)的元素，A是P(X)的 子集，令qi =(xi ),qiP(Y)， (1)如果A┝w，则(A)┝(w)(=w(q1 ,,qn )) (2)如果A╞w，则 (A)╞(w)(=w(q1 ,,qn ))