命题逻辑
命题逻辑 1
本节提要 问题1:什么是命题?什么是逻辑?什么是 命题逻辑? 问题2:如何判断命题表达式的真假? 问题3:如何判定命题可满足?
本节提要 2 问题1：什么是命题？什么是逻辑？什么是 命题逻辑？ 问题2：如何判断命题表达式的真假？ 问题3：如何判定命题可满足？
引言 口编程语言中的布尔表达式 口程序分析时需要考虑布尔表达式的可满足性 (a>=5)&&(a<=10);p‖!q 口搜索引擎中的布尔检索 口表达检索者的查询意图 (“ Yuan yao”OR“姚远”)AND“ Computer Science”AND(NOT Female”) 口布尔运算符 口与,合取, Conjunction(AND)(A,&,) 口或,析取, Disjunction(OR)() 口非,否定, 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 引言
引言 口逻辑是日常生活中的重要工具: 口父子对话 子:爸爸,我要玩游戏 父:不做完作业不能玩 如果以p表示“做完作业”,q表示“玩游戏”: 常理:p→>q 数学:-p>-q(等价命题:q>)
引言 逻辑是日常生活中的重要工具： 父子对话： ◼ 子：爸爸，我要玩游戏 ◼ 父：不做完作业不能玩 如果以p表示“做完作业”，q表示“玩游戏”： ◼ 常理： p→q ◼ 数学： p→ q（等价命题：q→p） 5