1离散第9讲题命与逻辑联结词.pptVIP

孔子是孔仲尼 孔子是人 人是动物 语句形式化步骤 要准确确定原子命题，并将其形式化 要选用恰当的联结词 要善于识别自然语言中的联结词（有时它们被省略） 否定词的位置要放准确 必要时可以进行改述，但要保证表达意思一致(逻辑等价) 需要的括号不能省略 要注意语句的形式化未必是唯一的 第9讲 命题与逻辑联结词 专业基础课程 授课人：张桂芸 dyxy1999@126.com Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. PowerPoint Template_Sub 逻辑学是一门非常古老的学科，到现在已经有了两千多年的历史。古典逻辑学主要起源于古希腊学者亚里士多德的逻辑学说，他的《工具论》是古代一部最完备的逻辑学著作。 古典逻辑学的基本特点是用自然语言描述对逻辑的研究，而一旦超出这个范围，引入数学的方法来研究逻辑，就产生了远远优于古典逻辑学的现代逻辑学。 数理逻辑也称符号逻辑，是现代逻辑学研究的主体部分，是一门运用数学方法研究思维规律的学科。将推理变成数学演算，是数理逻辑的指导思想，并且已经成为这门学科的主要特征 。 数理逻辑是用形式化(符号化)方法来研究推理的科学。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. ＝ ∈ ? Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. PowerPoint Template_Sub 侦探调查了罪案的四个证人。从证人的话侦探得出的结论是： 如果男管家说的是真话，那么厨师说的也是真话； 厨师和园丁说的不可能都是真话； 园丁和杂役不可能都在说谎 如果杂役说真话，那么厨师在说谎 侦探能判断这四个证人分别是在说谎还是在说真话吗？ 推理的例子 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. -*- 第9讲 命题与逻辑联结词 PowerPoint Template_Sub 1 命题与逻辑联结词 2 逻辑等价式和逻辑蕴涵式 3 范式 4 证明技术（补充） Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 命题与逻辑联结词 《离散数学》第9讲 Textbook Page 56 to 62 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. -*- 第9讲 命题与逻辑联结词 内容提要 命题的概念 断言与命题、命题真值表示 原子命题和复合命题、命题常元、命题变元 逻辑联结词 ┐ 、∧ 、∨ 、→ 、? 命题公式 公式的归纳定义 真值表 自然语句的形式化 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. -*- 第9讲 命题与逻辑联结词 命题 (proposition或statement) 命题(proposition) ：表示判断的陈述句。 或是真，或是假，但二者不能得兼（排中律） 真、假常被称为命题的真值 用大写的英文字母T或“1”表示命题真值是“真的” F或“0”表示命题的真值是“假的” Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. -*- 第9讲 命题与逻辑联结词 命题举例 例4.1 雪是白的。 2+2=5。 2是偶数且3也是偶数。 陈胜起义那天杭州下雨。 大于2的偶数均可以分解为两个质数的和。 火星上有生物。