离散数学第一章命题逻辑-1-4节.pptxVIP

1离 散 数 学河南工业大学信息科学与工程学院第一章 命题逻辑第一页，共六十八页。 2第一篇 数理逻辑什么是逻辑（学）？研究人类思维的科学。研究思维形式及思维过程。公元前四世纪亚里斯多德《工具论》奠定了逻辑学的理论基础。中国最早的一部逻辑专著－－《墨经》也创造了一个比较完整的逻辑体系。辩证逻辑形式逻辑第二页，共六十八页。 3什么是数理逻辑？数理逻辑是用数学的方法研究逻辑。所谓“数学方法”：就是引进一套符号体系的方法。用数学理论、手段和技巧找出研究对象内在联系的数学表达式及其规范的方法，包括使用符号和公式，已有的数学成果和方法，特别是使用形式的公理方法。数理逻辑即引进一套符号体系的方法来研究概念、判断和推理，即对符号进行判断和推理。所以数理逻辑也称为“符号逻辑”。数理逻辑属于形式逻辑。它与数学的其它分支、计算机科学、人工智能、语言学等学科均有密切联系。第三页，共六十八页。 数理逻辑的主要内容 数理逻辑内容丰富，但其主要包括“两个演算” 加“四论”，即：逻辑演算。包括命题演算和谓词演算证明论。主要研究数学理论系统的相容性（即不矛盾、协调性）的证明。递归论（能行性理论）。自从电子计算机发明后，迫切需要在理论上弄清计算机能计算哪些函数。递归论研究能行可计算的理论，它为能行可计算的函数找出各种理论上精确化的严密类比物。模型论。主要是对各种数学理论系统建立模型，并研究各模型之间的关系以及模型与系统之间的关系。公理集合论。主要研究在消除已知集合论悖论的情况下，用公理方法把有关集合的理论充分发展下去。现代数理逻辑第四页，共六十八页。 5 1、“甲在河南工业大学上学”2、“甲在郑州上大学”如果“甲在河南工业大学上学”真的，则显然“甲在郑州上大学”也是真的。推理形式“如果甲在河南工业大学上学，则 甲在郑州上大学”；甲在河南工业大学上学；则可推出甲在郑州上大学。符号化为：P表示“甲在河南工业大学上学”；Q表示“甲在郑州上大学”；P ? Q表示“如果甲在河南工业大学上学，则 甲在郑州上大学”。推理形式可以表示为P ? Q为真；P为真；则可推出Q为真。可以抽象地写成(P ? Q)∧P ?Q3、“如果甲在河南工业大学上学，则甲在郑州上大学”是成立的第五页，共六十八页。 例：请根据下面事实，找出凶手：1. 清洁工或者秘书谋害了经理。2. 如果清洁工谋害了经理，则谋害不会发生在午夜前。3.如果秘书的证词是正确的，则谋害发生在午夜前。4.如果秘书的证词不正确，则午夜时屋里灯光未灭。5.午夜时屋里灯灭了。问：谁是凶手？秘书谋害了经理。第六页，共六十八页。 第一篇 数理逻辑第一章命题逻辑 命题的基本概念命题联结词命题公式命题的范式主要研究内容第二章谓词逻辑谓词的基本概念谓词公式公式的标准型第一、二章推理与证明技术命题逻辑推理理论谓词逻辑推理理论数学归纳法按定义证明法第七页，共六十八页。 第一章 命题逻辑研究的内容命题逻辑也称为命题演算 研究以命题为基本单位构成的前提和结论之间的可推导关系。1-1 命题与命题的真值1-2 联结词1-3 命题公式及翻译1-4 真值表与等价公式1-5 重言式与蕴含式1-6 其它联结词(?)1-7 对偶与范式1-8 命题推理理论(3) 如何由一些前提推导出一些结论?(1) 什么是命题？(2) 如何表示命题？第八页，共六十八页。 第一章 命题逻辑 学习要求重点掌握一般掌握了解1、五种基本联结词（第1-3节）2、24个基本的等价公式（第4、5节）3、求命题范式的方法（第7节）4、推理方法（第8节）12公式的代入规则和替换规则（第4节中的部分内容）联结词的完备集的理解和学习（第6节）3第九页，共六十八页。 101-1. 命题与命题的真值本节主要讨论四个问题：命题的概念命题的真值原子命题与复合命题命题的表示第十页，共六十八页。 11一、 命题的概念陈述句：陈述一个事实或一个说话人的看法，句末用句号。祈使句：要求或者希望别人做什么事或者不做什么事时用的句子，句末用句号或感叹号。疑问句：提出问题的句子，句末用问号。感叹句：带有浓厚感情的句子，句末用感叹号。第十一页，共六十八页。 请看下面给出的两个陈述句：（1）2是个素数。（2）雪是黑色的。 这两个陈述句都表示对事件性质的判断。第一句话表示的判断是正确的，第二句话表示的判断是错误的。像(1),(2)这样能够唯一确定所表达的判断是正确的还是错误的陈述句称为命题。第十二页，共六十八页。 13一、命题的概念命题是一个能判断是真的或是假的陈述句。命题一定是陈述句，但并非一切陈述句都是命题。真值：一个命题的值叫真值。一个命题的真值有两个：“真”或“假”真值为真:一个命题所作的判断与客观一致,则称该命题的真值为真,记作T (True)，真命题。真值为假:一个命题所作的判断与客