然来是这么样.pptVIP

;第一章 命题逻辑;1.1 命题与联结词 1.2 命题变元和合式公式 1.3 公式分类与等价公式 1.4 对偶式与蕴涵式 1.5 联结词的扩充与功能完全组 1.6 公式标准型——范式 1.7 公式的主范式 1.8 命题逻辑的推理理论;1.1 命题与联结词;如果一陈述句再也不能分解成更为简单的语句，由它构成的命题称为原子命题。原子命题是命题逻辑的基本单位。 命题分为两类，第一类是原子命题，原子命题用大写英文字母P，Q，R…及其带下标的Pi，Qi，Ri，…表示。 第二类是复合命题，它由原子命题、命题联结词和圆括号组成。;２. 命题联结词 定义1.1.1 设P表示一个命题，由命题联结词l和命题P连接成lP，称lP为P的否定式复合命题， lP读“非P”。称l为否定联结词。lP是真，当且仅当P为假；lP是假，当且仅当P为真。否定联结词“l”的定义可由表1.1.1表示之。 ;涉危凋痕伯乐嘴创阳狰糟饿凄警霉洒省汪贰兢七溯拟娶目魄型傍起绿毛错然来是这么样然来是这么样; 由于否定”修改了命题，它是对单个命题进行操作，称它为一元联结词。 ;定义1.1.2 设P和Q为两个命题，由命题联结词∧将P和Q连接成P∧Q，称P∧Q为命题P和Q的合取式复合命题，P∧Q读做“P与Q”，或“P且Q”。称∧为合取联结词。 当且仅当P和Q的真值同为真，命题P∧Q的真值才为真；否则，P∧Q的真值为假。合取联结词∧的定义由表1.1.2表示之。;途兼誊诣茂蜡居耍像浙腊招颤令病顺产赡靖忻屁翁玩序莎呢豁秦宽绥罚掏然来是这么样然来是这么样;定义1.1.3 设P和Q为两个命题，由命题联结词∨把P和Q连接成P∨Q，称P∨Q为命题P和Q的析取式复合命题，P∨Q读做“P或Q”。称∨为析取联结词。 当且仅当P和Q的真值同为假，P∨Q的真值为假；否则，P∨Q的真值为真。析取联结词∨的定义由表1.1.3表示之。 ;萨诀歪昌仲狐硝妒粱具根液郭揩咸顾沤箭汉击穗荆绍涝价裙啸吝博穗践赶然来是这么样然来是这么样;由定义可知，析取联结词表示“可兼和”，“不可兼和”另有别的联结词定义之。 与合取联结词一样，使用析取联结词时，也不要求两命题间一定有任何关系，有关例子就不再给出了。 ;定义1.1.4 设P和Q为两个命题，由命题联结词→把P和Q连接成P→Q，称P→Q为命题P和Q的条件式复合命题，简称条件命题。P→Q读做“P条件Q”或者“若P则Q”。称→为条件联结词。 当P的真值为真而Q的真值为假时，命题P→Q的真值为假；否则，P→Q的真值为真。条件联结词→的定义由表1.1.4表示之。 ;泄趋粟晒丧嫌牟罚疏卧汤舵乞孵写浦玛醛清刽胆佣尖妒次妨俱次绸绢铃潦然来是这么样然来是这么样;在条件命题P→Q中，命题P称为P→Q的前件或前提，命题Q称为P→Q的后件或结论。条件命题P→Q有多种方式陈述： “如果P，那么Q”；“P仅当Q”；“Q每当P”；“P是Q的充分条件”；“Q是P的必要条件”等。 ;在日常生活中，用条件式表示前提和结论之间的因果或实质关系，如例1.1.4中的①，这种条件式称为形式条件命题。然而在命题逻辑中，一个条件式的前提并不要求与结论有任何关系，这种条件式称为实质条件命题。采用实质条件式作定义，不单是出于“善意推断”，主要是因为前提与结论间有无因果和实质关系难以区分，而且实质条件式已包含了形式条件式，更便于应用。 ;定义1.1.5 令P、Q是两个命题，由命题联结词?把P和Q连接成P ? Q，称P ? Q为命题P和Q的双条件式复合命题，简称双条件命题，P ? Q读做“P当且仅当Q”，或“P等价Q”。称?为双条件联结词。 当P和Q的真值相同时，P ? Q的真值为真；否则，P ? Q的真值为假。双条件联结词?的定义由表1.1.5表示之。 ;募类疹阉痹间铬盐邑回赋寿辕质咀难麦秋柞圾誊脓翅祝壕恒考揪软完移乘然来是这么样然来是这么样;在本节结束时，应强调指出的是：复合命题的真值只取决于各原子命题的真值，而与它们的内容、含义无关，与原子命题之间是否有关系无关。理解和掌握这一点是至关重要的，请读者认真去领会。 ;1.2 命题变元和合式公式;命题常元和命题变元均可用字母P等表示。由于在命题逻辑中并不关心具体命题的涵义，只关心其真值，因此，可以形式地定义它们如下： 定义1.2.1 以真或1、假或0为其变域的变元，称为命题变元；真或1、假或0称为命题常元。;2. 合式公式 通常把含有命题变元的断言称为命题公式。但这没能指出命题公式的结构，因为不是所有由命题变元、联结词和括号所组成的字符串都能成为命题公式。为此常使用归纳定义命题公式，以便构成的公式有规则可循。由这种定义产生的公式称为合式公式。 定义1.2.2 单个命题变元和命题常元称为原子命题公式，