定理20.6（换定理）设X,Y是两个集合,是P(X)→P(Y).pptVIP

定理20.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)) 证明:(1)设p1,?,pm为由A证明w的序列. ①pi?A,则?(pi)??(A) ②pi?A ③pi是由pj和pk=(pj→pi)得到(j,kI)。 (2)设A╞w,v是P(Y)的赋值,即为P(Y)到Z2的同态映射,并使v(?(A))?{1} 关键证明v(?(w))是否为1. 推论20.2:设P(Xn)为Xn上的命题代数，pi?P(Xn)(i=1, ?,n), w=w(x1,?,xn)?P(Xn)，则有： (1)如果┝w，则┝w(p1,?,pn)。 (2)如果╞w，则╞w(p1,?,pn)。 定义20.16:设p,w?P(X)，若p在w中出现，则称p为w的子公式。 定理20.7(子公式替换定理):设w,p,p?P(X)，p为w的子公式，把p在w中的某些出现替换为p得到的公式记为w。 (1)若┝p?p，则有┝w?w。 (2)若╞p?p，则有╞w?w。 §5一般逻辑系统 定义20.17:一个逻辑L是由下述集合所组成的