南京大学：《计算机问题求解》课程教学资源（课件讲稿）什么样的推理是正确的

原子命题与复合命题 *自然语言中的复合句与连词 *复合命题 显然： *并非外面在下雨。 复合命题是否为真，取决于： *张挥与王丽都是三好学生。 作为复合成分的子命题的真假 *张晓静不是江西人就是安微人。 以及 连词的语义 *如果2+3=6，则π是有理数。 是无理数当且仅当加拿大位于亚洲

原子命题与复合命题  自然语言中的复合句与连词  复合命题  并非外面在下雨。  张挥与王丽都是三好学生。  张晓静不是江西人就是安徽人。  如果2+3=6，则是有理数。  是无理数当且仅当加拿大位于亚洲。 3 显然： 复合命题是否为真，取决于： 作为复合成分的子命题的真假 以及 连词的语义

否定连接词 p 非p p p F T T F 一的真值表 p所有可能的取值

否定连接词 ~p: 非p p ¬ p F T T F ¬的真值表 p所有可能的取值

合取连接词 “p并且q”表示为pg p q pΛq png-T iff p 和q均为T F F F F T F T F F T T p,q>所有可能的取值

合取连接词 “p 并且 q” 表示为 pq p q F F F T T F T T pq F F F T <p,q> 所有可能的取值 pq=T iff p 和 q 均为T

析取连接词 pVq=F iff both “p或g”表示为pvq p and q均为F pvq F F F F T T T F T T T T P,q心所有可能的取值

析取连接词 “p 或 q” 表示为 pq p q F F F T T F T T p q F T T T <p,q> 所有可能的取值 pq=F iff both p and q 均为F

若干例 *今天周一，开学第一天 *我们周一和周五有离散数学课 *我们周一或者周四踢足球 但是，套餐的菜单上写着： 鸡腿饭或者叉烧饭，苹果或香蕉 异或连接符

若干例  今天周一，开学第一天  我们周一和周五有离散数学课  我们周一或者周四踢足球 但是，套餐的菜单上写着： 鸡腿饭或者叉烧饭，苹果或香蕉 异或连接符