第1_1章命题逻辑.pptVIP

离散数学;什么是离散数学？ 为什么要学习离散数学？ 离散数学主要学习那些内容？;什么是离散数学？ 研究离散量的结构及关系的一门科学。;离散数学的内容：;学习方法: 理解概念、掌握方法、注重应用;1、离散数学（左孝琳、李为槛、刘永才，上海科技文献版） 2、离散数学-计算机数学基础学习（陈德人，浙大版） 3、Discrete Mathematics（ Forth Edition: Richard Johnsonbaugh) 4、 Discrete Mathematics（ Revised Edition:Biggs ) 5、Discrete Math. Elements（ Liu Chuang Laung); 逻辑学：研究人的思维形式及规律的学科。 分为形式逻辑、辩证逻辑、数理逻辑。;1884年，数学家弗雷格（德）出版《数论的基础》一书， 引入量词符号，使得数理逻辑中的符号体系更加完备， 皮尔斯（美），又引入逻辑符号。 数理逻辑理论基础逐渐形成，称为一门独立的学科。; 数理逻辑是应用数学方法研究推理中前提与结论之间的形式关系的科学。 数理逻辑的核心是把逻辑推理符号化，即把推理变成象数学演算一样完全形式化。 数理逻辑又叫符号逻辑，因为它的主要工具是 符号体系。;第1-1章 命题逻辑;1-1-1 命题、逻辑联结词与真值表;例1 判断下列句子是否为命题。 ??? ?(1) 人总是要死的。 (4) 中国人民是勤劳和勇敢的。 (7) 今天没有下雨。 (9) 太阳系以外的星球上有人。 (10) 他喜欢读书也喜欢运动。 (11) 他在机房里或在图书馆里。 (13) 如果a和b都是正数，则ab也是正数。 (14) xy0当且仅当x和y都大于0。 ???;(16) 天气多好啊！ (17) 他来了吗？ (21) 我正在说假话。 ;命题符号化; 3是素数是不对的。 他喜欢读书也喜欢运动。 他在机房里或在图书馆里。 如果a和b都是正数，则ab也是正数。 xy0当且仅当x和y都大于0。 ;定义1.3 设P为命题，复合命题“非P”(或“P的否定”) 称为P的否定式,记作┐P，符号┐称作否定联结词 。并规定┐P为真当且仅当p为假。 ;“2是偶素数” 。 ; “2或4是素数”;注意： 在自然语言中，“或”具有二义性，用它联接的两个命题有时具有相容性（即两命题可以同时为真），有时具有排斥??（即两命题不能同时为真）。 前者称为可兼容或（相容或），后者称为不可兼容或（排斥或）∨。 ;(13) 如果a和b都是正数，则ab也是正数。;例如：“只要P，就Q”，“因为P，所以Q”，“P仅当Q”， “只有Q才p”，“除非Q才P”，“除非Q，否则非P”等等。 ;?3．在数学或其它自然科学中，“如果P，则Q”往往表 达的是前件P为真，后件Q也为真的推理关系。但在数 理逻辑中，作为一种规定:当P为假时，无论Q是真是 假，P→Q均为真。; “xy0当且仅当x和y都大于0。 ” ;例1.6 将下列命题符号化，并讨论它们的真值; 令 s:两圆O1，O2的面积相等 t:两圆O1，O2的半径相等 则(3)符号化为s t; 以上定义了五种最基本、最常用、也是最重要的联结词┐，∧，∨，→， ???，将它们组成一个集合{┐，∧，∨，→， ???}，称为一个联结词集。其中┐为一元联结词，其余的都是二元联结词。 ;P Q;2. 多次使用联结词集中的联结词，可以组成更为 复杂的复合命题，求复杂复合命题的真值时，还要规定联结词的优先顺序，将括号也算在内，本书规定的联结词优先顺序为 ;1-1-2 命题公式与真值函数 ;?如：(P→Q)∧(Q?R)，(P∧Q)∧┐R，P∧(Q∧┐R) ;公式的赋值 ;定义2.2 设P1,P2,…,Pn是出现在公式A中的全部命题符号，给P1,P2,…,Pn各指定一个真值，称为对A的一个指派（赋值或解释）。若指定的一组值使A的真值为1，则称这组值为A的成真赋值；若使A的真值为0，则称这组值为A的成假赋值。 ;真值表 ;例2.1 求下列公式的真值表，并求成真赋值和成假赋值。 ;公式分类 ;?说明： ????1. A是可满足式的等价定义是：A至少存在一个成真赋值。 ????2. 重言式一定是可满足式，但反之不真。因而，若公式A是可满足式，且它至少存在一个成假赋值，则称A为非重言式的可满足式。;下列各公式均含两个命题变元P与Q，列出它们的真值表。 ;二、真值函数;P;由真值表确定的真值函数不一定是最简单的WFF， 也不一定