第1篇-数理逻辑之命题逻辑.ppt

第1篇 数理逻辑 主讲人：任长安 计算机与信息科学系 2009.07 引言 逻辑学是研究推理过程之规律的科学。 数理逻辑则是用数学的方法研究思维规律的一门学科。由于它使用了一套符号，简洁的表达出各种推理的逻辑关系，因此数理逻辑又称为符号逻辑或理论逻辑。 数理逻辑和计算机的发展有着密切的联系，它为机器证明、自动程序设计、计算机辅助设计等计算机应用和理论研究提供必要的理论基础。 主要内容 1 命题逻辑 2 一阶逻辑 第1章 命题逻辑 主要内容： 1.1 命题与联结词 1.2命题公式及其分类 1.3真值表与真值函数 1.4等值式与等值演算 1.5联结词完备集 1.6范式 1.7命题逻辑的推理理论 1.1 命题与联结词 一、命题 1 定义 能判断真假的陈述句称为命题。当判断正确或符合客观实际时，称该命题真（true），否则称该命题假（false）。“真、假”常被称为命题的真值，分别记为T(1)和F(0) 。 显然，判断一个语句是否为命题，有两个要点： 1）命题是一个陈述句，而命令句、疑问句和感叹句都不是命题。 2）这个陈述句所表达的内容可决定是真还是假，而且不是真的就是假的，不能不真又不假，也不能又真又假。 1.1 命题与联结词 例1.1 判断下列语句是否为命题。 （1）雪是白的。 （2）2是偶数且3也是偶数。 （3）陈胜吴广起义那天杭州下雨。 （4）大于2的偶数均可分解为两个质数的和（哥德巴赫猜想）。 （5）真舒服啊！ （6）别的星球上有生物存在。 （7）您去学校吗？ （8）x+y 0。 （9）我正在说谎。 （10）1+101=110。 1.1 命题与联结词 2、分类 （1）简单命题（原子命题或本原命题），通常用p,q,r,…,等表示命题变项，命题常项用1(T)，0(F)表示； （2）复合命题（分子命题），由简单命题和联结词构成； 简单命题可以简单地用单个字母表示，但复合命题还包含了联结词，多个命题变项由联结词联结起来成为复合命题。所以还需要考虑联结词的问题。 1.1 命题与联结词 二、联结词 1 否定式和否定联结词 命题p的非或否定，称为p的否定式，表示为?p；符号?即为否定联结词。用表格表示： 示例： p：今天天气好； ?p：今天天气不好 1.1 命题与联结词 2 合取式和合取联结词 p且q称为p,q的合取式，记为p ? q；符号?即为合取联结词。 用表格表示为： 相应的日常用语还有一些： “既…又…”，“不但(仅)…而且…”，“虽然…但是…”。 1.1 命题与联结词 3 析取式和析取联结词 p或者q称为p，q的析取式，记为p∨q；符号?即为析取联结词。 例： (1) 文文或华华今天出差。 (2) 他今天骑车或走路来上课。 (3) 从理科2号楼到图书馆要3分钟或5分钟。 1.1 命题与联结词 4）异或式和异或联结词 p或者q中只能一个为真称为p,q的异或式，记为 p q； 符号 即为异或联结词。 1.1 命题与联结词 5 蕴涵式（或条件式）和蕴涵（或条件）联结词 如果p则q称作p、q的条件式（或蕴涵式），记为p ? q。?为蕴涵联结词，p、q分别为蕴涵式的前件和后件。 示例: 一位父亲对儿子说：“如果星期天天气好，就一定带你去动物园。”问：在什么情况下父亲食言？ 父亲的可能情况有如下四种： (1) 星期天天气好，带儿子去了动物园； (2) 星期天天气好，却没带儿子去动物园； 1.1 命题与联结词 (3) 星期天天气不好，却带儿子去了动物园； (4) 星期天天气不好，也没带儿子去动物园。 显然，(1), (4)两种情况父亲都没有食言；(3)这种情况和父亲原来的话没有相抵触的地方，当然也不算食言；只有(2)这种情况，答应的事却没有做，应该算是食言了。(2)对应着“前件真后件假”的情况，使得蕴涵式为假，而其它三种情况都使得蕴涵式为真。 所以，条件式的真值情况用表格表示为：（下表所示） 1.1 命题与联结词 1.1 命题与联结词 6 双条件式（或等价式）和双条件（或等价）联结词 p当且仅当q称作p、q的双条件式（等价式），记为p ? q。?称为双条件（等价）联结词。 1.1 命题与联结词 三、命题符号化 符号化基本步骤： 1) 找出各个支命题，并逐个符号化； 2) 找出各个连接词，符号成相应联结词； 3) 用联结词将各支命题逐个联结起来； 示例：将下列命题符号化： (1)李明是计算机系的学生，他住在312室或313室． (2)辱骂和恐吓决不是战斗； (3)李瑞和李珊是姐妹。 (4)除非天气好，否则我是不会去公园的； 1.1 命题与联结词 分析并符号化，强调在进行命题符号化以前，必须明确含义，删除歧义，这是命题翻译的关键之点。 （1）p：李明是计算机系的