在命题演算中,代换定理是基于同态映 射φ:P1→P2,这里P1P2为二个命题代数 如果P1P2为谓词代数,则根据同态映射 的要求,P1P2应该有相同的运算集,对 其个体符集有新的要求❖ 在命题演算中，代换定理是基于同态映 射:P1→P2，这里P1 ,P2为二个命题代数， 如果P1 ,P2为谓词代数，则根据同态映射 的要求，P1 ,P2应该有相同的运算集，对 其个体符集有新的要求