第四章命题逻辑第1学期介绍.ppt

二、形式语言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，δ(?A)=T,但是δ(B)=F； (2) 根据基本语义解释（Ⅱ），由δ(?A)=T，得δ(A)=F; (3)由δ(A)=F和δ(B)=F,根据基本语义解释（Ⅳ），得δ(A∨B)=F； （4）δ（A∨B）=F，与假设δ(A∨B)=T矛盾；因此，假设不成立， 即没有赋值δ，使得： δ(A∨B)=T，δ(?A)=T，但是δ(B)=F； 所以，A∨B，?A?=B。同理，A∨B,?B?=A。 可以验证，基本推导规则都具有保真性。 证明 p∨q?≠p 证：给定真值指派ρ，ρ(p)=F，ρ(q)=T。 δ是由ρ导出的赋值，有： δ(p)=F，δ(q)=T, 根据赋值定义，δ(p∨q)=T, 但δ(p)=F, 所以，p∨q ?≠p 。 证明没有语义推出关系 3、真值表法及其应用 （1）证明一个推理是否有效 （2）求任意公式的真值 （3）确定多个公式的真值关系 （4）解决实际问题 （1）把推理形式转化为重言蕴涵式 只要用∧把诸前提联结为合取式:A1∧A2∧…∧An，再把这个合取式用→与B联结起来； 判定A1∧A2∧…∧An→B是否永真（重言）式，就可以判定{A1，A2，…，An}是否逻辑蕴涵B。 用真值 表检验语义推出关系 用真值表方法验证(A→B)， ? B ?= ?A 分析:要证(A→B)， ? B ?= ?A，就是证(A→B)∧ ? B → ?A是重言蕴涵式。 A B ?A ? B (A→B)∧ ? B (A→B)∧ ? B → ?A T T F F F T T F F T F T F T T F F T F F T T T T 根据以上真值表，可判定(A→B)∧ ? B → ?A是重言蕴涵式，所以有(A→B)， ? B ?= ?A。 用真值 表检验语义推出关系 练习：（A∨B）， ? A ?= B （2）求任意公式的真值 p → ?q ?p∧q??r p q ?q p → ?q T T F F T F T T F T F T F F T T （3）确定多个公式的真值关系 下列逻辑形式中与“?（?A?B）”相等值的有（ ）。 A．A?B B．A?B C．A??B D．A?B E．A?B （4）解决实际问题 列出下面两个命题的真值表。根据真值表，当这两个命题都真时，回答谁参加文艺演出。 如果甲参加文艺演出，那么，乙参加文艺演出。 要么甲参加文艺演出，要么乙参加文艺演出。 （4）解决实际问题 列出A、B两命题的真值表，并回答当A、B恰有一个为假时，某大学是否录取李魏？是否录取赵俊武？ A：如果某大学录取李魏(p)，那么就不录取赵俊武(q)。 B：某大学没有录取李魏。 真值表 第五节 命题逻辑的自然推理系统NP p