第三章命题演算.ppt

第三章 命题演算 一、复合命题 二、重言式判定方法 三、复合命题推理的基本有效式 四、复合命题推理的其他有效式 五、自然推理系统 一、复合命题 在复合命题中，由联结词所连接的那些命题称为复合命题的支命题。 支命题可以是简单命题，也可以是复合命题。 复合命题是由支命题和联结词所组成的。 三、复合命题推理的基本有效式 3、选言推理：根据析取词的逻辑性质进行的演绎推理。 三、复合命题推理的基本有效式 三、复合命题推理的基本有效式 选言推理规则： 1、从否定到肯定 2、大前提所提出的几种可能性之间必须是互相排斥的 3、大前提必须穷尽所讨论问题的一切可能性 三、复合命题推理的基本有效式 三、复合命题推理的基本有效式 4、假言推理是根据蕴涵词的逻辑性质 进行的演绎推理。 ①肯定前件式 ②否定后件式 （p→q）?p→q （p→q） ??q→?p 肯定后件 否定前件 （p→q）?q→p （p→q） ??p→?q 三、复合命题推理的基本有效式 必要条件假言推理是假言推理的一种特殊形式，它的前提是必要条件假言命题。 （a）否定前件式 （b）肯定后件式 （?p→?q） ??p→?q （?p→?q） ?q→p 肯定前件 否定后件 （?p→?q） ?p→q （?p→?q） ? ? q→ ? p 必要条件假言推理练习2 想从事商业生涯的人都想获得MBA学位。周峰想攻读MBA，因此，周峰一定想从事商业生涯。 下述哪项如果为真，则最能支持上述观点？ A、所有想获得MBA学位的人都想从事商业生涯。 B、有些生意人是MBA。 C、只有想从事商业生涯的人才攻读MBA。 D、所有生意人都有MBA学位。 E、只有获得MBA的人才有资格从事商业生涯。 三、复合命题推理的基本有效式 某高校外语教研室新招进三位外语老师，每位老师只教授一门外语，并且满足以下条件： （1）如果小钱教德语，那么小孙不教俄语； （2）或者小李教德语，或者小钱教德语； （3）如果小孙不教俄语，那么小赵不教法语； （4）或者小赵教法语，或者小周不教英语。 以下哪项如果为真，可以得出“小李教德语”的结论？ A、小钱教德语 B、小孙不教俄语 C、小赵不教法语 D、小周教英语 分析：要得到“小李教德语”，根据条件（2）+选言推理规则，需要“小钱不教德语”。要得到“小钱不教德语”，根据条件（1）+假言推理规则，需要“小孙教俄语”。要得到“小孙教俄语”，根据条件（3）+假言推理规则，需要“小赵教法语”。要得到“小赵教法语”，根据条件 （4）+选言推理规则，需要“小周教英语”。 答案：D 三、复合命题推理的基本有效式 5、等值推理是根据等值词的逻辑性质 进行的演绎推理。 ①肯定式 ②否定式 （p ?q） ?p→q （p ? q） ??p→? q （p ?q） ?q→p （p ? q） ??q→?p 四、复合命题推理的其他有效式 1、假言连锁推理又称纯假言推理，它是基于假言命题的逻辑性质进行的复合命题推理。 （p→q） ?（q→r） →（p→r） 四、复合命题推理的其他有效式 2、二难推理是根据假言命题和选言命题的逻辑性质进行的复合命题推理。 ①构成式 （p→r） ? （q→r） ? （p?q）→r （p→r） ? （q→s） ? （p?q）→r?s ②破坏式 （p→r） ? （p→s） ? （?r??s）→?p （p→r） ? （q→s） ? （?r??s） →?p??q 四、复合命题推理的其他有效式 妻子和母亲掉河里， 先救谁？ 四、复合命题推理的其他有效式 二难推理规则： 1、前提中的假言命题必须是正确的 2、两个假言前提穷尽可能性 3、遵守假言推理和选言推理规则 四、复合命题推理的其他有效式 归谬法推理有效式： （p?q??q）??p ①p?q??q 前提 ②?（q??q） 矛盾式 ③?p 由①②根据假言推理否定后件式 四、复合命题推理的其他有效式 4、反三段论：根据假言命题的逻辑性质进行的复合命题推理。