《离散数学第二章.docVIP

逻辑与推理密切相关，主要是为论证的有效性提供证明和技巧。它与许多学科有广泛的联系。如，与数学的交叉， 数理逻辑，与计算机科学的交叉，计算复杂性与机器证明，人工智能的交叉，精确推理与不精确推理，这些广泛的联系，日益显示其重要作用。 德国哲学家、数学家莱布尼茨是数理逻辑的创始人，至今有300多年的历史。大约经历三个阶段。 初始阶段，用数学方法研究和处理形式逻辑，英国的布尔(Boole)，德.摩根(De Morgan)等人，逻辑代数和布尔代数； 研究数学思想方法和数学基础问题。集合论的创建(康托)，公理方法的发展(希尔伯特)，逻辑演算的建立(皮亚诺、罗素)，证明论。 发展阶段，与数学的各分支和计算机科学的广泛联系。 数理逻辑是使用逻辑的方法来研究思维规律的学科，为机器证明、自动程序设计、计算机辅助设计等应用和理论研究提供理论基础。 数理逻辑 Mathematical Logic命题逻辑proposition logical 2.1命题和命题联结词 语言的单位是句子，可分为疑问句，祁使句，感叹句，陈述句等。陈述句具有真假意义。 (1) 地球是圆的。(2) 2+3=5. q (3) 你说英语吗？ (4) 3-X=5. (5) 吃两片阿斯匹林！ (6) 土星表面温度是华氏800度。(7) 明天会出太阳。命题statement可以判断真假的陈述..2逻辑联结Logical Connective与复合命题 compound statement用p,q,r,s,t等符号表示命题可以逻辑词将若干命题联接成复合命题。(1) 地球是圆的并且2+3=5. p∧q (2) 土星表面温度不是华氏800度。~r (3) 因为地球是圆的，所以明天会出太阳。p→s (4) 明天不会出太阳，除非2+3=5。即，明天不会出太阳或2+3=5。 ~s∨q 明天出太阳，只要2+3=5。 q→s (6) 明天出太阳，仅当2+3=5。 s→q∧, 析取联结词disjunction ∨, 蕴涵联结词implication →, 等价联结词equivalent . 2.3条件命题conditional statements“if p then q”这种形式的复合命题为条件命题或称为蕴涵 implication。简单记为 p→q。相应地，p 称为前提antecedent, ypothesis, q 称为结论consequent, onclusion. 相应地, 我们有 逆命题converse of the implication q→pp→q 逆否命题contrapositive of the implication ~q→~p 众所周知, 原命题与逆否命题是等价的, 即, p→q ? ~q→~p 下面，我们将这5种逻辑联结词再罗列如下： 否定negation ~ ~p 合取 conjunction ∧ p∧q 析取 disjunction ∨ p∨q 蕴含 implication → p→q 等价equivalence, biconditional ? p?q~p=1-p p→q=~p∨q p?q=( p→q) ∧(q→p) = (~p∨q) ∧(~q∨p) 联结词的真值表truth tablep q ~p p∧q p∨q p→q q→p p?q 0 0 1 0 0 1 1 1 0 1 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 1 0 1 1 1 1 1 当然，由上面5种逻辑联结词还可以产生更多的联结词，如，异或联结词（p,q之中恰有一个成立）pq，与非联结词(p与q合取的否定)↑，或非联结词(p与q析取的否定)↓。 Theorem 1. 基本等价公式，逻辑定律 交换律commutativeproperties p∧qq ∧p p∨q=q∨p 结合律associative properties (p∧q) ∧rp∧(q∧r) (p∨q)∨r=p∨(q∨r) 分配律distributive properties p∧ (q∨r) p∧q)∨(p∧r) p∨(q∧r) = (p∨q) ∧(p∨r) 幂等律idempotent propertie