命题变元(Proposition Variable) 。常用小写字母表示命题变元,如:p,q,r ·p:今天是周五 ·q:2+2=4 ·r:Bill is from Boston ·命题变元的取值范围为:{TF} ·p:今天是周五(p=F) ·q:2+2=4(q=T) r:Bill is from Boston (r=F)
命题变元( Proposition Variable ) • 常用小写字母表示命题变元,如:p, q, r • p:今天是周五 • q: 2+2=4 • r: Bill is from Boston • 命题变元的取值范围为:{T, F} • p:今天是周五(p=F) • q: 2+2=4 (q =T) • r: Bill is from Boston(r=F)
原子命题与复合命题 ·自然语言中的复合句与连词 ·复合命题 复合命题是否为真,取决于: ·外面并非在下雨。 1.作为复合成分的子命题的真假 2.连词的语义 ·张挥与王丽都是三好学生。 ·张晓静要么是江西人要么是安徽人。 ·如果2+3=6,则π是有理数。 ·√3是无理数当且仅当加拿大位于亚洲
原子命题与复合命题 • 自然语言中的复合句与连词 • 复合命题 • 外面并非在下雨。 • 张挥与王丽都是三好学生。 • 张晓静要么是江西人要么是安徽人。 • 如果2+3=6,则𝜋是有理数。 • 3是无理数当且仅当加拿大位于亚洲 复合命题是否为真,取决于: 1.作为复合成分的子命题的真假 2.连词的语义
否定连接词(Negation) ·p非p P:外面在下雨 一p:外面并非在下雨。 p 一卫 T T F 一的真值表 p所有可能的取值
否定连接词(Negation) • ¬𝑝:非p P:外面在下雨 ¬𝑝 :外面并非在下雨
合取连接词(Conjunction) p:张挥是三好学生 ·卫∧q:“p并且g” q:王丽是三好学生 卫∧q:张挥与王丽都是三好学生 9 PΛq png-T iff p 和g均为T F F F F T F T F F T T <,q>所有可能的取值
合取连接词(Conjunction) • 𝑝 ∧ 𝑞: “p并且q” p:张挥是三好学生 q:王丽是三好学生 𝑝 ∧ 𝑞 :张挥与王丽都是三好学生
析取连接词(Disjunction) pvq=Fiff ·pVq:“p或者g” both p and q均为F p 9 pvq p:张晓静是江西人 F F F q:张晓静是安徽人 pVq:张晓静要么是江西人要么是安徽人 F T T 可能同时是江西人和安徽人 T T 如果不可能同时是江西人和 T T T 安徽人,该如何表示? 卫,q心所有可能的取值
析取连接词(Disjunction) • 𝑝 ∨ 𝑞:“p或者q” 𝑝 ∨ 𝑞 = 𝐹 𝑖𝑓𝑓 𝑏𝑜𝑡ℎ 𝑝 𝑎𝑛𝑑 𝑞 均为 𝐹 p:张晓静是江西人 q:张晓静是安徽人 𝒑 ∨ 𝒒:张晓静要么是江西人要么是安徽人 可能同时是江西人和安徽人 如果不可能同时是江西人和 安徽人,该如何表示?