第二章 命题逻辑.ppt

第二章 命题逻辑 研究人的思维形式和规律的科学称为逻辑学。 由于研究的对象和方法各有侧重而又分为: 形式逻辑、辩证逻辑、数理逻辑 数理逻辑 数学家希尔伯脱:“它把数学上的形式的方法，应用到 逻辑领域的结果。” 数理逻辑是一门用数学方法来研究推理规律的科学。所谓数学方法主要是指引进一套符号体系的方法，所以数理逻辑也称做符号逻辑。 近年来，数理逻辑与计算机科学的关系日益密切，数理逻辑的大量方法已运用于计算机软件的理论研究中，可以这样说,数理逻辑在计算机科学的应用前景是极其广阔的。 2.1 命题符号化及联结词 任何基于命题分析的逻辑称为命题逻辑。 命题是非真即假的陈述句。 首先判断它是否为陈述句 其次判断它是否有唯一的真值 真值只有两个：真 或 假 记作: True 和 False 符号：T 和 F 1 和 0 【例1】 下述各句是否为命题： （1）4是偶数。 （2）煤是白色的。 （3）《几何原本》的作者是欧几里德。 （4）2190年人类将移居火星。 （5）地球外也有生命存在。 【例2】 下列语句是否为命题： （1）你好吗？ （2）好棒啊！ （3）请勿吸烟。 （4）x＞3。 （5）我正在说谎。 几个有趣的悖论 说谎者悖论：“我正在说谎。”－－他到底说没说谎？ 江湖传言悖论：没有人能避开西门吹雪的那一剑；陆小凤的灵犀指可以夹住任何兵器的来袭。－－这两个人交手的话，胜负如何？ 相对悖论：世上没有绝对的真理。－－这是绝对的吗？ 苏格拉底悖论：我现在唯一知道的事，就是我一无所知。－－知道还是不知道？ 性质悖论：一切都是可能的，不可能也是如此。－－可能还是不可能？ 麦堆悖论：一粒麦子构不成麦堆，两粒也不行，三粒也不行……所以无论多少麦粒都不能构成麦堆。－－肯定错了，但是错在哪里了？ 语言悖论：这句话包含七个字。－－对还是错？ 说明：以上不都是命题逻辑中讲的悖论，同学们可以课余自行考虑。 命题是非真即假的陈述句。 ★一个陈述句在客观上能判断真假，而不受人的知识范围的限制。 ★一个陈述句暂时不能确定真值，但到了一定时候就可以确定，与一个陈述句的真值不能唯一确定是不同的。 ★ 只有说法“真值为真”或“真值为假”——没有假值一说。 (1) 中华人民共和国首都是北京。 (2) 2是偶数。 (3) 雪是黑色的。 (4) 我是工程师。 (5)外太空有生命 (6)明天开会吗？ (7)多美妙啊！ (8)请进来。 (9)我正在说假话 以上所讨论的命题均是一些简单陈述句。在语言学中称为简单句，其结构均具有“主语+谓语”的形式，在数理逻辑中，我们将这种由简单句构成的命题称为简单命题，或称为原子命题，用p、q、r 等符号表示（必要时亦可用其它小写的英文字母表示）。如： p：4是偶数。 q：煤是白的。 r：《几何原本》的作者是欧几里德。 根据命题的构成形式，可以将命题分为： 原子命题:不能再细分的命题称为原子命题。 复合命题：由原子命题和命题联结词构成。 “明天下雪” “4是素数”都是原子命题 “明天下雨或明天下雪”是复合命题 【例3】 下列命题不是简单命题： （1）4是偶数且是2的倍数。 （2）北京不是个小城市。 （3）小王或小李考试得第一。 （4）如果你努力，则你能成功。 （5）三角形是等边三角形，当且仅当三内角相等。 命题常量：表示具体命题的命题标识符 例如,P:今天天气晴好。则P是命题常量 命题变元：未指定具体命题，可以代表任意命题的命题 标识符。集合{T,F}是命题变元的值域。 指派：命题变元用一个特定命题取代，从而成为一个命 题，这个过程称为对命题变元进行指派。 用P表示任意的命题，则是命题变元，没有确定的真值； 当用具体的命题，如“雪是黑色的”代入后，P就表示命题：雪是黑色的，这时有确定真值：F。 联结词是复合命题的重要组成部分，又称为逻辑运算符。 常用的有五种： 否定 合取 析取 排斥析取 条件 → 双条件 由命题和联结词构成的命题称为复合命题。