0---引言、ch1.ppt

* Zll-sci.hhu * 5)蕴涵式和蕴涵联结词(conditional statement, implication) 如果p 则q 称作p、q 的蕴涵式，记为p→q。→为蕴涵联结词，p、q 分别为蕴涵式的前件和后件。 注意p 是q 的充分条件，q 是p 的必要条件。“只要p 就q”、“p 仅当q”、“只有q 才p”等可表示成p→q * Zll-sci.hhu * 蕴涵式的一个应用：数学归纳法 (1) 证明P(n0)成立；(2) 证明k≥n0, P(k)→P(k+1)总是成立 在(1)中，P(k)→P(k+1)总是成立意味着P(k)→P(k+1)的真值为T，从而只可能是真值表中的1,3,4 情形， 而(1)中证明前件为真，所以后件也一定为真。 * Zll-sci.hhu * 6)等价式和等价联结词(equivalence, biconditional) p 当且仅当q 称作p、q 的等价式， 记p?q。?称为等价联结词，p 是q 的充要条件。 * Zll-sci.hhu * 以上介绍了六种常用的逻辑联结词以及与之相关的复合命题。这些联结词反映了复合命题及其支命题之间抽象的逻辑关系。复合命题的符号化一般可以根据上述定义进行，基本步骤如下： 1) 找出各个支命题，并逐个符号化； 2) 找出各个连接词，符号成相应联结词； 3) 用联结词将各支命题逐个联结起来. * Zll-sci.hhu * 例1.7 将下列命题符号化： (1) 李明是计算机系的学生，他住在312 室或313 室． (2) 辱骂和恐吓决不是战斗； (3) 李瑞和李珊是姐妹。 (4) 除非天气好，否则我是不会去公园的； * Zll-sci.hhu * 解 (1)首先用字母表示简单命题． p：李明是计算机系的学生． q：李明住在312 室． r：李明住在313 室． 该复合命题可表示为p∧(q∨r)。 * Zll-sci.hhu * (2) 设p：辱骂不是战斗。 q：恐吓不是战斗。 p∨q (3) 设p：李瑞和李珊是姐妹 p (4)设p：今天天气好。q：我去公园。 q→p * Zll-sci.hhu * 1.3 合式公式和真值函数 命题形式： 各种复合命题的符号化表达式，即为此命题的命题形式， 它给出的是复合命题及其简单命题之间真值关系的逻辑骨架。 命题形式必定是合式公式。 * Zll-sci.hhu * 归纳定义: ·一个集合的归纳定义(inductive definition)通常分为三步： ·归纳基：一些基本的元素属于该集合； ·归纳步：定义一些规则（或者说操作），从该集合中已有的元素来生成该集合的新的元素； ·最小化：该集合中的所有元素都是通过基本元素以及所定义的规则生成的，换句话说，该集合是由基本元素及规则所生成的最小的集合。 ·自然数集N的归纳定义： [1]. 归纳基：0是一个自然数，即0? N。 [2]. 归纳步：若n是自然数，则n的后继也是自然数。记n的后继为succ(n)，即若n?N，则succ(n)?N。为方便起见，后面也记n的后继为n+1。 [3]. 最小化：所有的自然都通过步骤[1]和[2]得到，或者说自然数集是通过步骤[1]和[2]得到的最小集合。 * Zll-sci.hhu * 合式公式，也称命题公式，递归定义为： (1) p, q, r, … ,1 , 0 是合式公式； (2) 如果A 是合式公式，则? A 也是； (3) 如果A 和B 是合式公式，则由逻辑联结词联结A 和B 的符号串也是； (4) 有限次应用(1)-(3) 构成的符号串才是合式公式。 (1)是递归定义的基础，直接规定简单的内容；(2), (3) 是递归定义的归纳，规定了是由简单到复杂的过程； 4)是递归定义的界限，规定了满足前述(1)~(3)条件的最小范围。 * Zll-sci.hhu * 在一个复杂的公式中，为了避免歧义需要引进许多的括号，但如果括号太多会使人眼花缭乱，如 ((p∧(q∨r))→((p∨q)∧(r∨s)))，共有6 对括号，为了减少括号并不引起歧义，引进如下省略括号的约定： (1) 公式最外层的括号可以省略； (2) 规定联结词运算优先级别由高到低是?、∧、∨、→、?，若无括号，优先级高的先运算； (3) 若同一个联结词连续多次出现且无括号，则按从左到右的顺序运算。按照上述约定， ((p∧(q∨r))→((p∨q)∧(r∨s)))省略了三对括号简化为p∧(q∨r) →(p∨q)∧(r∨s)。 省略括号只是让公式书写简便，但并不能改变其复杂性。 * Zll-sci.hhu * 合式公式的层次(递归定义)： (1) 如果A 是单个命题常项或命题变项p, q, r, s, …,