第一章 命题逻辑（Propositional Logic）
1.1 命题及其表示方法
命题变元：命题标识符如仅是表示任意命题的位置标
志，就称为命题变元。 原子变元：当命题变元表示原子命题时，该变元称为 原子变元。 命题变元也用A,B,…,P,Q,P1,P2,P3 , …, 表示。 1.1.3 命题的分类： 简单/原子命题：不能分解为更简单的陈述语句的命题(如 上例中的命题)。 复合命题：由简单命题通过联结词联结而成的命题。 联结词就是复合命题中的运算符。
第一章 命题逻辑（Propositional Logic）
1.1 命题及其表示方法 例如： P：罗纳尔多是球星。 Q：5是负数。 P3：明天天气晴。 (2)：太阳从西方升起。 皆为符号化的命题，其真值依次为T、F、T或F、F。 命题标识符又有命题常量、命题变元和原子变元 之分。
命题常量：表示确定命题的命题标识符。
离散数学(Discrete Mathematics)
第一部分 数理逻辑（Mathematical Logic)
逻辑：是研究推理的科学。公元前四世纪由希腊的哲 学家亚里斯多德首创。作为一门独立科学，十七世纪， 德国的莱布尼兹 (Leibniz) 给逻辑学引进了符号 , 又称 为数理逻辑(或符号逻辑)。
第一部分 数理逻辑（Mathematical Logic)
从 广 义 上 讲 ， 数 理 逻 辑 包 括 四 论 、 两 演 算 —— 即集合论、模型论、递归论、证明 论和命题演算、谓词演算，但现在提到数 理逻辑，一般是指命题演算和谓词演算。 本书也只研究这两个演算。
第一章 命题逻辑（Propositional Logic）
第一章 命题逻辑（Propositional Logic）
1.1 命题及其表示方法 (4). How do you do ? 疑问句，不是命题 (5). 明年的十月一日是晴天。是命题，其真值到明年 十月一日方可知道。 (6). x+3>9 不是命题 (7). 我正在说谎。是悖论 (8). 1+101=110 二进制中为真，十进制中为假。 (9). 如果太阳从西方升起，那么2是奇数。T (10). 国足能杀入2006世界杯当且仅当2+2=4。F
第一章 命题逻辑（Propositional Logic）
1.1 命题及其表示方法
因而又可以称命题是具有唯一真值的陈述句。
判断命题的两个步骤：
1、是否为陈述句； 2、是否有确定的、唯一的真值。
例：判断下列句子是否为命题。 (1). 100是自然数。 T (2). 太阳从西方升起。 F (3). 3+3=8 . F
基本概念
命题：能够判断真假的陈述句。 命题的真值：命题的判断结果。命题的真值只取两个 值:真（用T(true)或1表示）、假（用F(false)或0表示） 。 真命题：判断为正确的命题，即真值为真的命题。 假命题：判断为错误的命题，即真值为假的命题。
2015-4-28
2015-4-28
逻辑可分为：1. 形式逻辑（通过数学方法） 数理逻辑 2. 辩证逻辑 指引进一套符号体系的方法。
辩证逻辑是研究反映客观世界辩证发展过程的人类思 维的形态的。
第一部分 数理逻辑（Mathematical Logic)
形式逻辑是研究思维的形式结构和规律的科 学，它撇开具体的、个别的思维内容，从形 式结构方面研究概念、判断和推理及其正确 联系的规律。 数理逻辑是用数学方法研究推理的形式结构 和推理的规律的数学学科。它的创始人 Leibniz，为了实现把推理变为演算的想法， 把数学引入了形式逻辑。其后，又经多人努 力，逐渐使得数理逻辑成为一门专门的学科。
第一章 命题逻辑（Propositional Logic）
1.1 命题及其表示方法 (11). 今天天气多好啊！ 感叹句，不是命题 (12). 请你关上门！ 祁使句，不是命题， (13). 别的星球上有生物。 是命题，客观上能判断真 假。
说明：
（1）只有具有确Biblioteka 真值的陈述句才是命题。一 切没有判断内容的句子，无所谓是非的句子， 如感叹句、祁使句、疑问句等都不是命题。
作业：P8 （1）
第一章 命题逻辑（Propositional Logic）
1.1 命题及其表示方法 注意： （ 1 ）一个符号 ( 如 P), 它表示的是命题常量还是命题变 元，一般由上下文来确定。 （ 2 ）命题变元可以表示任意命题，它不能确定真值， 故命题变元不是命题。这与“变数 x 不是数”是一样 的道理。 小结：本节主要介绍了命题、命题的真值、原子命题、 复合命题、命题标识符、命题常量、命题变元和原子 变元的概念。重点理解和掌握命题、命题变元两个概 念。
1.1 命题及其表示方法
• 1.1.1 命题（Proposition) • 1.1.2 命题的表示方法 • 1.1.3 命题的分类
2015-4-28
第一章 命题逻辑（Propositional Logic）
1.1 命题及其表示方法
1.1.1 命题
数理逻辑研究的中心问题是推理（ inference), 而 推理的前提和结论都是表达判断的陈述句，因而表达 判断的陈述句构成了推理的基本单位。
第一章 命题逻辑（Propositional Logic）
1.1 命题及其表示方法 （2） 因为命题只有两种真值，所以“命题逻辑”又称 “二值逻辑”。 (3) “具有确定真值”是指客观上的具有，与我们是否 知道它的真值是两回事。如上例中的（5）和（13）。 1.1.2 命题的表示方法 在本书中，用大写英文字母A,B,…,P,Q或带下标的字 母P1,P2,P3 , …,或数字(1),[2], …,等表示命题，称之为 命题标识符。