设X,Y是两个集合,是P(X)→P(Y)的同态映射,这里P(X)和P.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是由下述集合所组成的系统：元素(称为命题)集P；函数集V(这些函数都是从P到某个值集W的，称为赋值.特别若|W|2则称L为多值逻辑系统);以及对应于P的每个子集A导出P中元素的有限序列集(称为由前提A得到的证明)。 例如：X上命题演算的逻辑，记为Prop(X)，它是由集合P=P(X)(X上自由命题代数)，所有的P(X)到Z2同态映射集V，以及满足定义20.13的证明集组成，后者包含从P(X)的每个子集A导出P(X)中元素的有限序列(称为由假设A得到的证明)集。 在逻辑L中，语义蕴含由赋值所定义，记号A╞p读成“A语义蕴含p”或称“p是A的后件”，语法蕴含由证明所定义，记号A┣p读成“A语法蕴含p”或称“p是A的推导”。若?╞p，则称p是L的重言式；若?┣p，则称p是L的定理。 定义20.18:如果A┣p必有A╞p，则称逻辑L是可靠的(sound)。 定义20.19:如果F不是L的定理，则称逻辑L是协调的(consistent)。 定义20.20:如果A╞p必有A┣p，则称逻辑L是完备的(complete)。 可靠性和完备性把真值和证明联系起来，而协调性则是纯语法性质，即任何逻辑都不会导致矛盾。 定义20.21:如果存在一个算法，对逻辑L的每个命题p，能在有限步内确定p是否为重言式，则称逻辑L是有效性可判定的。 定义20.22:如果存在一个算法，对逻辑L的每个命题p,能在有限步内确定p是否为定理，则称逻辑L是可证明性可判定的 §6 命题演算的性质 定理20.8(可靠性定理):设A?P(X),p?P(X)。若A┣p，则有A╞p。简言之：Ded(A) ?Con(A)。 证明：设p1,…,pn=p是从A推导p的证明序列，要证明的是p为A的后件。 设v是P(X)到Z2的赋值，且v(A)?{1}，施归纳于证明序列长度n。 n=1，则p=p1，故p?A∪A，由习题20.6知每个公理都是重言式，且v(A)?{1}，所以v(p)=1。 现假设n1，且对任何n?k，若p可从A用 n?k步证明序列推出，必有A╞p。 下面就是证明对n=k+1也成立。 pn=p有下述两种情况: (i)pn?A∪A，因此有v(pn)=1， (ii)对某个i,jn，有pi=pj?pn，此时 v(pi)=v(pj?pn)，由v的同态性质知： v(pi)=v(pj)?v(pn)，故v(pn)=1。 推论20.3:(协调性定理):F不是Prop(X)的定理。 定义20.23:设A?P(X),若F?Ded(A)，则称A是协调的。若A是协调的，且对任何B?P(X)，当B真包含A时，B必定不协调，则称A是极大协调子集。 引理20.3:设A?P(X)，则A是极大协调子集当且仅当 (i)F?A，并且 (ii)A=Ded(A)，并且 (iii)对所有的p?P(X)，或者p?A或者?p?A。 证明:(1)A是极大协调子集,则(i),(ii) 和(iii)成立. (2) 若(i),(ii)和(iii)成立,则A是极大协调子集. 引理20.4:设A是不协调的，则存在A的有限子集是不协调的。 引理20.5:设A是P(X)的协调子集，则A必被某个极大协调子集所包含。 用构造方法 (1)构造一组协调子集序列?n和?* (2)证明?n是协调的 采用归纳法 (3)证明?*是极大协调子集 先证?*是协调的,采用反证法 再证?*是极大的 定理20.9