1 命题逻辑
命题逻辑 1
本节提要 2 问题1：什么是命题逻辑？ 问题2：如何判断命题表达式的真假？ 问题3：如何判定命题可满足？
本节提要 2 问题1：什么是命题逻辑？ 问题2：如何判断命题表达式的真假？ 问题3：如何判定命题可满足？
引言 3 口编程语言中的布尔表达式 口程序分析时需要考虑布尔表达式的可满足性 ■(a>=5)&&(a<=10);pll!q 口搜索引擎中的布尔检索 口表达检索者的查询意图 ■(“Yuan Yao'”OR“姚远"”)AND“Computer Science?”AND(NOT “Female”) 口布尔运算符 a与，合取，Conjunction(AND)(,&,·) 口或，析取，Disjunction(OR)(v) 非，否定，Negation (NOT)(一，~，) 扣
引言 编程语言中的布尔表达式 程序分析时需要考虑布尔表达式的可满足性 ◼ (a >= 5) && (a <= 10) ; p || !q 搜索引擎中的布尔检索 表达检索者的查询意图 ◼ (“ Yuan Yao” OR “姚远”) AND “Computer Science” AND (NOT “Female” ) 布尔运算符 与，合取，Conjunction (AND) (, &, · ) 或，析取，Disjunction (OR) () 非，否定，Negation (NOT) (, ~, -) 3
引言 4 口什么是逻辑？ 口在数学里，逻辑是指研究某个形式语言的有效推论 口推理和证明的思想过程 0 逻辑有什么作用？ 口用来做分析与论证 口逻辑引导人们通过推理获得事物的本质 口逻辑让描述变得严谨、无歧义
什么是逻辑？ 在数学里，逻辑是指研究某个形式语言的有效推论 推理和证明的思想过程 逻辑有什么作用？ 用来做分析与论证 逻辑引导人们通过推理获得事物的本质 逻辑让描述变得严谨、 无歧义 4 引言
引言 口逻辑是日常生活中的重要工具： 口父子对话： ■子：爸爸，我要玩游戏 ■父：不做完作业不能玩 口如果以P表示“做完作业”，q表示“玩游戏”： ■常理：p→I ■数学：一p-→一q(等价命题：q→p)
引言 逻辑是日常生活中的重要工具： 父子对话： ◼ 子：爸爸，我要玩游戏 ◼ 父：不做完作业不能玩 如果以p表示“做完作业”，q表示“玩游戏”： ◼ 常理： p→q ◼ 数学： p→ q（等价命题：q→p） 5