离散数学 教学课件 作者 赵一鸣 阚海斌 吴永辉 dshu27nn.pptVIP

定义19.13:设p,q?P(Y),若{p}╞q且{q}╞p,则称p,q语义等价，记为p │==│ q 定理19.3:设p,q?P(Y), (1)如果p和q语义等价，则?xp│==│ ?xq (2)在p中将?xq(x)的某些(不一定所有)出现替换为?yq(y)而得到p(这里y不在q(x)中出现)，则p │==│ p 定理19.4：设p,p1,p2?P(Y)，p1 │==│ p2，现在p中将p1的某些(不一定所有)出现替换为p2而得到的结果记为p，则p │==│ p。 §3 谓词演算的形式证明 一、形式证明 P(Y)上的一阶谓词演算用Pred(Y)表示 定义19.14：称A=A1∪A2∪A3∪A4∪A5 中的所有元素为Pred(Y)上的公理集。其中： A1={p→(q→p)|p,q?P(Y)}； A2={(p→(q→r))→((p→q)→(p→r))|p,q,r?P(Y)}； A3={??p→p|p?P(Y)}。 A4={?x(p→q)→(p→?xq)|p,q?P(Y),x?var(p)} A5={?xp(x)→p(t)|p(x)?P(Y),项t对p(x)中的x是自由的} 除了MP规则外，还要用一个推理规则，这个规则在以后的论证中常会用到：对任意的x证明了p(x)，则有?xp(x)成立。这个推理规则称为全称推广规则，它使得在对一般的x证明了p(x)后，可推出?xp(x)。在使