1.1-1.2命题与联结词答案.ppt

例1.7 解：首先可知p，q，r的真值为1，1，0 于是（1）为 ((?1 ∧ 1) ∨(1 ∧ ?1)) →0 ((0 ∧ 1) ∨(1 ∧ 0)) →0 (0 ∨ 0) →0 0 →0 1 (1)的真值为1 第一部分 数理逻辑 逻辑学是研究思维规律和思维的形式结构的一门学科 。 数理逻辑是研究推理的科学，它运用数学的方法研究思维形式和规律，特别是研究数学中的思维形式和规律。 本部分只介绍数理逻辑的两个主要部分：命题逻辑和谓词逻辑。 数理逻辑的其他内容，如证明论、模型论、递归论、公理集合论不在本课程范围。 §1.1 现代逻辑学 现代逻辑学求助数学——符号化 现代逻辑学追随数学——公理化 现代逻辑学改造数学——形式化 逻辑发展历史——三个阶段 初始阶段：1660年代—19世纪末将数学应用于逻辑 Aristotle：形式逻辑（主词和谓词逻辑）。 Leibniz：建立直观而又精确的思维演算。 George Boole: 逻辑代数。 De Morgan: 关系逻辑。 过渡阶段：19世纪末— 1940前后, 逻辑应用于数学 非欧几何与公理化方法。 微积分与实数理论，Piano算术。 集合论与数学基础(1900年世界数学家大会) 悖论与第三次数学危机，Hilbert计划。 成熟阶段：1930s — 1970年,成为数学的独立分支 四个分支： 公理集合论：大基数，连续统问题 递归论（可计算性理论）：Turing机，不可解性 模型论：实数的非标准模型 证明论：超穷归纳法, Gentzen的数论和谐性证明 逻辑与计算机科学的联系 布尔电路：布尔逻辑。 计算理论：可计算性，Turing机，形式语言，自动机，计算复杂性。 程序语义与验证技术：Intel bug: 5亿美元。 程序的自动生成与转换。 SQL: 本质上等价于一阶逻辑。 Prolog语言：以逻辑演算为基础。 LISP语言：以λ演算为基础。 人工智能：非单调推理，缺省推理。 信息安全 …… （知道问题）老师手中握有一副牌（黑桃5、4、8、J；红心A、Q、4；方块A、5；梅花K、Q、5、4），我想好一张牌，并将该牌的花色告述学生甲，将该牌的点数告述学生乙。 甲说：我敢肯定你不知道这张牌。 乙说：那么我现在知道了。 甲说：那么我也知道了。 请问这张牌是什么牌？ 先看著名物理学家爱因斯坦出过的一道题： 一个土耳其商人想找一个十分聪明的助手协助他经商，有两人前来应聘，这个商人为了试试哪个更聪明些，就把两个人带进一间漆黑的屋子里，他打开灯后说：“这张桌子上有五顶帽子，两顶是红色的，三顶是黑色的，现在，我把灯关掉，而且把帽子摆的位置弄乱，然后我们三个人每人摸一顶帽子戴在自己头上，在我开灯后，请你们尽快说出自己头上戴的帽子是什么颜色的。”说完后，商人将电灯关掉，然后三人都摸了一顶帽子戴在头上，同时商人将余下的两顶帽子藏了起来，接着把灯打开。这时，那两个应试者看到商人头上戴的是一顶红帽子，沉默几秒后其中一个人便喊道：“我戴的是黑帽子。”请问这个人说得对吗？他是怎么推导出来的呢？ 第一章 命题逻辑的基本概念 1.1命题与联结词 思考题 1 命题逻辑中有： **是*** **不是*** 两句话。 例如，“高志华是讲师”和“高志华不是讲师”。 若其中一句是正确的，那么另一句就一定是不正确的。 请你构造出同时为真的两个句子。 2 相传在古代有一个残酷的国王，为了不准别人进入他的领地而制定了一个法规：“凡进入者若讲真话则杀头，若讲假话则淹死”。并要求士兵严格执行上述命令。一天，一个人进来说了一句话，导致士兵无法执行命令。请问这个人说了什么？ 一、命题 逻辑主要研究推理过程，而推理过程必 须依靠命题来表达。 在命题逻辑中，“命题”被看作最小单位。 数理逻辑中最基本、最简单的部分。 命题和联结词 1。什么是命题？ 命题是陈述客观外界发生事情的陈述句。 命题是或为真或为假的陈述句。 特征： ?? 陈述句 ?? 真假必居其一, 且只居其一. 例1 下列句子都是命题 4是素数。 是无理数。 火星上有水。 2050年元旦是晴天。 例2 下面的句子不是命题。 x大于y，其中x和y是任意的两个数。 大于 吗？ 请不要吸烟！ 这朵花真美丽啊！ 我正在说谎话。