离散数学第五版第一章(耿素云、屈婉玲、张立昂编著).pptVIP

3.2自然推理系统P 例5:用归谬证明法证明下列推理： 前提：p→(?(r∧s)→ ? q), ? s,p 结论： ? q * * * * * 离散数学是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。是研究计算机科学的基本数学工具，离散数学是以离散量作为其研究对象，在离散数学中非常重视“能行性”问题的研究，要解决一个问题，首先要证明此问题解的存在性，同时要找出得到此问题解的步骤来，而且其步骤必须是有限的、有规则的。这就构成了离散数学的特征。在计算机科学中，离散数学与数据结构、操作系统、逻辑设计、算法分析、编译原理、人工智能、系统结构等课程联系紧密。 例6：用公式的主析取范式判断公式的类型 2.2析取范式与合取范式 ?(p?q)?q p?(p?q) ?(p?q)?q ??(?p?q)?q ?(p??q)?q ?0 p?(p?q) ??p?(p?q) ?(?p??q)?(?p?q)?(p??q)?(p?q) ?1 析取范式与合取范式 （3）判断两个公式是否等值。 例7：判断下列公式是否等值 p (p?q)?(p??q) p ?p?(q??q) ?(p?q)?(p??q) 所以两个公式等值 析取范式与合取范式 （4）应用主析取范式分析和解决实际问题。 例8：某科研所要从3名科研骨干A，B，C中挑选1～2名出国进修。由于工作需要，选派时要满足以下条件： 若A去，则C同去； 若B去，则C不能去； 若C不去，则A或B可以去。 问所里应如何选派他们？ 2.2析取范式与合取范式 四、主析取范式、主合取范式 说明 （1）由公式的主析取范式求主合取范式 （2）重言式与矛盾式的主合取范式 A为重言式当且仅当A的主合取范式不包含任何极大项。 A为矛盾式当且仅当A的主合取范式包含2n个极大项。 A为可满足式当且仅当A的主合取范式包含的极大项少于2n个。 第一章 数理逻辑 一、 命题与联结词 二、 命题公式及其赋值 三、等值式 四、析取范式与合取范式 五、联结词的完备集 六、推理的形式结构 七、自然推理系统P 联结词的完备集 一、n元真值函数 定义 注意 称F:｛0，1｝n ? ｛0，1｝为n元真值函数。 n个命题变项可构成 (2n个2相乘) 个不同的n元真值函数。 二、联结词完备集 定义 设S是一个联结词集合，如果任何n（n=1）元真值函数都可以 由仅含S中的联结词构成的公式表示，则称S是联结词完备集。 联结词的完备集 二、联结词完备集 定理 S={? 、? 、? }是联结词完备集。 推论 以下联结词集都是完备集： （1）S1＝｛ ? 、? 、? 、? ｝ （2）S2＝｛ ? 、? 、? 、? 、? ｝ （3）S3＝｛ ? 、? ｝ （4）S4＝｛ ? 、? ｝ （5）S5＝｛ ? 、? ｝ 联结词的完备集 二、联结词完备集 定义1.12 1.13 定理 设p、q为两个命题，复合命题“p与q的否定式”（“p或q的否定式”）称作p，q的与非式（或非式），记作p?q (p?q)。符号?(?)称作与非联结词或非联结词）。 p?q为真当且仅当p与q不同时为真（ p?q为真当且仅当p与q同时为假）。 ｛ ? ｝｛ ? ｝都是联结词完备集： 例：给定命题公式(P∨Q)→R，该公式在联结词的完备集{?,→}中的形式为 ，在{?,∧}中的形式为 ，在{↑}中的形式为 ，在{↓}中的形式为 。 2.2析取范式与合取范式 第一章 命题逻辑 一、 命题与联结词 二、 命题公式及其赋值 三、等值式 四、析取范式与合取范式 五、联结词的完备集 六、推理的形式结构 七、自然推理系统P 推理的形式结构 一、推理 推理定义 推理有效性定义（定义1.24） 推理是指从前提出发推出结论的思维过程，而前提是已知命题 公式集合，结论是从前提出发应用推理规则推出的命题公式。 设A1，A2，……Ak，B都是命题公式，若对于A1，A2，……Ak，B 中出现的命题变项的任意一组赋值，或者A1 ? A2 ? …… ? Ak为 假，或者当A1 ? A2 ? …… ? Ak为真时，B也为真，则称由前提A1， A2，……Ak 推出B的推理是有效的或正确的，并称B是有效的结论。 3.1推理的形式结构 说明 （1）推理的正确性与前提的排列次序无关，因而前提中的公式 不一定是序列，而是一个有限公式集合，若这个集合极为?，可 将?推B的推理记为??B。若推理是正确的记为??B，否则记为??B