第1章 数理逻辑-new.ppt

离散数学 第一章 数理逻辑 离散数学是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。它在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机专业的许多专业课程，如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。通过离散数学的学习，不但可以掌握处理离散结构的描述工具和方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。 在萨维尔村，理发师挂出一块招牌：“我只给村里所有那些不给自己理发的人理发。”有人问他：“你给不给自己理发？”理发师顿时无言以对。 这是一个矛盾推理：如果理发师不给自己理发，他就属于招牌上的那一类人。有言在先，他应该给自己理发。 反之，如果这个理发师给他自己理发，根据招牌所言，他只给村中不给自己理发的人理发，他不能给自己理发。 因此，无论这个理发师怎么回答，都不能排除内在的矛盾。这个悖论是罗素在一九○二年提出来的，所以又叫“罗素悖论”。 1.2 重 言 式 定理 1.2 - 1 设A和A*是对偶式。P 1, P2,…, Pn是出现于A和A *中的所有命