离散数学引论.docVIP

离散数学引论 《离散数学是现代数学的一个重要分支，是计算机科学基础理论的核心课程，其内容一直随着计算机科学的发展而不断地扩充与更新。它所研究的对象是离散结构及相互关系。由于数字电子计算机是一个离散结构，它只能处理离散的或离散化了的数量关系，因此，无论计算机科学本身，还是与计算机科学及其应用密切相关的现代科学研究领域，都面临着对离散结构建立相应的数学模型、将已用连续数量关系建立起来的数学模型离散化。在计算机科学中由于普遍采用了离散数学中的基本概念、基本思想和方法，从而使得离散数学成了不可少的理论工具。 (1)2是素数。　 (2)雪是黑色的 (3)给我一块钱吧！　　　　　　(4)2007年元旦下雨 (5)xy。 数理逻辑的特点是并不关心具体某个命题的真假，而是将逻辑推理变成类似数学演算的形式化了的过程，它关心的是命题之间的关联性。因此需要进行命题符号化： 原子(简单)命题就是简单陈述句，用大写字母(或带下标)表示； 命题常元：T(1)或F(0)，或者表示一个确定的命题； 命题变元：以T(1)或F(0)为值的变元； 指派(解释)：用一个具体命题代替一个命题变元。 而不是简单命题的复合命题需要使用称为命题联结词的运算符来进行符号化。命题联结词的作用是为了将原子命题组合成复合命题。常用的有五种： (1) 否定联结词 P(否定式)：非P ： 不，非，没有 规定P是T当且仅当P是F。 合取联结词 PQ(合取式) ：P 并且Q，P合取Q ： 并且，且，既…又…，不仅…而且… 规定PQ是T当且仅当P和Q都是T。 析取联结词 PQ(析取式)：P或者Q，P析取Q ： 或，或者说，不是…就是，要么…要么 规定PQ是T当且仅当P，Q中至少一个是T(或者PQ是F当且仅当P，Q都是F)。 蕴含联结词→ P→Q(条件式、命题)：如果P则Q P称为条件式的前件(前提)，Q称为条件式的后件(结论) →：如果(若)…就(则)，只要…就，若…才能 规定P→Q是F当且仅当P是T，Q是F。 等价(双条件)联结词 PQ (双条件式、命题) ：P当且仅当Q 规定PQ是T当且仅当P，Q或者都是T，或者都是F。 命题符号化的目的在于用五个联结词将日常语言中的命题转化为数理逻辑中的形式命题，其关键在于使用适当的联结词。对自然语言中语句之间的逻辑关系以及命题联结词的含义要有正确的理解： 确定语句是否是一个命题； 找出句中连词，用适当的命题联结词表示。 ［例1.1.2］试将下列命题符号化： 若你不看电影，则我也不看电影。 小王一边吃饭，一边看书。 1.2 命题公式及分类 1.2.1命题公式 一个命题越复杂，符号化该命题所需的命题变元和联结词就越来越多。如何安排这么多的东西使之有意义呢？ 定义1.2.1 一个(合式)公式是由下列方式递归定义的： 命题常元或命题变元是一个公式； 若A是一个公式，则(A)也是一个公式； 若A、B是公式，则(AB)、(AB)、(A→B)和(AB)均为公式； 只有经过有限次地应用(1)、(2)、(3)所得的结果才是公式。 注：1、公式一般无真值，只有对其所有的变元进行解释后，它才有真值； 2、公式无限多； 3、在一个复杂的公式中，常常有许多括号，为了简便起见，规定下列运算顺序：，，，→，。从而外层括号可以省略；在不会引起混淆的情形中，可以省略公式中的一些括号。 定义1.2.1 命题常项或命题变项称为0层公式；A是n+1层公式如果： （1）A=B, B是n层公式; (2)A=CB (或CB、C→B、CB),n为C,B的层数的最大者； ［例1.2.3］指出下列公式的层 (P→QR)(PR)，PR，(P∧R)，(P→QR)(PR)。 1.2.2 命题公式的解释 对于一个命题公式，数理逻辑的目的在于利用这些形式化的表达式来研究命题之间的逻辑关系。这种逻辑关系是用真假来表示的；而命题公式一般而言只是一个符号串，不表示具体的命题，无确定真值，只有对其所有的变元指派以确定的真值后，它才有真值。 定义1.2.4 设公式A(P1, P2, …, Pn)含有n个命题变元P1, P2, …, Pn，对P1, P2, …, Pn进行赋值，即让每一个Pi(i=1,2,…,n)分别取T(1)或F(0)，这称为对A的一个解释或指派I。 一般地，含n个命题变元的公式共有2n种不同的解释。在公式A(P1, P2, …, Pn)的任一个解释I下，每个命题变元有确定的真值，从而公式A(P1, P2, …, Pn)有确定的真值。一个公式在其所有可能的解释下所取