0---引言、ch1.pptVIP

* 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) 用联结词将各支命题逐个联结起来. *