逻辑学第四章 命题逻辑.ppt

* 注意：日常语言连接词和逻辑联结词的关系。 (7) s (4),(6), ∨- (8) p → ?s (1),(3),H.S. (9) ? ?s (7), ??+ (10) ?p (8),(9),M.T. (11)r (2),(10), ∨- 构造日常推理的形式证明例2 如果你想在同学中树立威信，就必须学习优秀或者人品出众或者有明显特长。如果你要学习优秀，就必须加倍努力。你的情况不能说有出众人品，也不能说有明显特长。所以，你若想在同学中树立威信，就一定要加倍努力。 构造日常推理的形式证明例2 p→q?r?s, q→t, ?r??s? p→t (1)p→q?r?s A1 (2)q→t A2 (3)?r??s A3 (4)p H1 (5)q?r?s (1),(4), →_ 构造日常推理的形式证明例2 (6)?s (3), ?_ (7)q?r (5),(6),?_ (8)?r (3), ?_ (9)q (7),(8),?_ (10)t (2),(9), →_ (11)p→t (4),(10), →+ 十、命题逻辑自然推理系统NP的性质 1.可靠性 2.完全性 1．可靠性 命题逻辑的自然推理系统NP，包含着无穷多的关于联结词的推出关系，这些推出关系，都具有保真性，即，当前提真时，结论必然是真的，而不可能是假的，更不会推出逻辑矛盾。这种性质，称为可靠性。 2．完全性 关于联结词的从真前提推出真结论的推出关系，都包括在命题的基本自然推理系统NP中了。在NP系统外，再没有从真前提推出真结论的关于联结词推出关系了。 二、形式语言L的语义解释 1、基本真值关系（基础知识） 2、给定指派下求公式的真值（应用） 3、真值表法及其应用 1、设ρ为任一指派，δ是由ρ导出的赋值。 (Ⅰ)对任何命题变元p，δ(p)=ρ(p)，其中ρ(p)已有定义。 (Ⅱ)δ(?A)=T当且仅当δ(A)=F; (Ⅲ)δ(A∧B)=T当且仅当δ(A)=T并且δ(B)=T; (Ⅳ)δ(A∨B)=T当且仅当δ(A)=T或者δ(B)=T; (Ⅴ)δ(A→B)=T当且仅当δ(A)=F或者δ(B)=T 。 ? Ⅲ 真值语义学的直观解释 从直观上讲，真值指派实质上是给命题变元指定真值的过程。或者说： ρ(p)=T（ρ(p)=F）就是把p解释为一个真（假）命题。 在真值指派ρ下导出真值赋值δ，实质上可看成由命题变元的真值确定复合命题的真值的过程。 2、公式真值的确定 给定一个真值指派ρ: ρ(p)=T,ρ(q)=F,ρ(r)=T,…。 根据基本语义解释，可以导出一个真值赋值δ,以确定由这些命题变元构成的任何公式在δ下的真值。 例如： δ(?p)=F,δ(p∧r)=T,δ(p∨q→r)=T,δ(p∨?r→q)=F，…。 语义后承（保真性） 设Γ是一个公式集，B是一个公式，如果对任意赋值δ都有：如果δ(Γ)=T(即δ（A1）=T，δ（A2）=T，…，δ（An）=T)，则δ（B）=T，则称B是Γ的语义后承 （或Γ逻辑蕴涵B，Γ能有效地推出B，Γ与B具有语义推出关系）。记为： Γ?=B 。 1.∧+:A,B├A∧B 证明：对任何赋值δ， 如果δ（A）=T, δ（B）=T， 那么，根据基本语义解释(Ⅲ)， δ（A∧B）=T， 因此：A，B?=A∧B。 这就是说，∧+具有保真性。 2.∨_：A∨B,?A├B ； A∨B,?B├A (1)假设存在赋值δ，使得δ(A∨B)=T