作为复合成分的子命题的真假逻辑运算符-南京大学.PPTVIP

* * * * * * * * * * * * * * * 命题逻辑 离散数学─逻辑和证明 南京大学计算机科学与技术系 内容提要 引言 逻辑运算符 命题表达式 命题的真值表 逻辑等价 引言－编程语言中的布尔表达式 Java程序设计语言中的布尔运算符 , || , ! 举例 (a = 5) (a = 10) p || !q 程序验证需要考察有关不变式 条件/循环语句 程序分析时需要考虑布尔表达式的可满足性 if x0 then abs:=-x else abs:=x 引言－搜索引擎中的布尔检索 布尔逻辑检索 利用布尔逻辑运算符进行检索项的逻辑组配，用以表达检索者的查询。 (Yuzhong Qu OR 瞿裕忠) AND Semantic Web …… NOT “Ontology”// 有的使用“-”替代 “NOT” 布尔运算符 与，Conjunction (AND) (?, , · ) 或，Disjunction (OR) (?) 非，Negation (NOT) (?, ~, -) 引言－逻辑迷题 泥巴孩谜题 一个男孩和一个女孩玩耍回来，看不见自己的额头，父亲说“你们当中至少有一个人额头上有泥”。父亲问孩子“你知道你额头上有没有泥？” p：男孩的额头上有泥 q：女孩的额头上有泥 p?q 为真 引言－日常生活中的逻辑 父子对话 子：爸爸，我要玩