逻辑导论（第三版）：逻辑推理-命题演算PPT教学课件.pptxVIP

第三章逻辑推理：命题演算

第三章逻辑推理：命题演算第一节复合命题：形式语言PL一、概述复合命题是由简单命题和命题联结词组成的命题。任何复合命题都含有命题联结词和其他命题成分。把命题成分联结起来构成复合命题的联结词称为命题联结词，被命题联结词所联结的命题成分称为支命题。支命题就是构成复合命题的命题。例如，“某甲犯了放火罪并且犯了杀人罪”，这个命题就是由“某甲犯了放火罪”和“某甲犯了杀人罪”这两个支命题以及“……并且……”这个命题联结词组成的复合命题。

第三章逻辑推理：命题演算第一节复合命题：形式语言PL二、负命题负命题就是陈述某个命题不成立的命题。它是对某个命题的否定，是对某个陈述的否定。负命题由支命题和命题联结词“并非”构成。在欲否定的命题之前加上“并非”“不是”等命题联结词，或在欲否定的命题后面加上“并非如此”“是不成立的”“是假的”等命题联结词就构成一个负命题。被否定的命题称为负命题的支命题，它可以是简单命题，也可以是复合命题。负命题的形式是：并非p。

第三章逻辑推理：命题演算第一节复合命题：形式语言PL三、联言命题联言命题就是陈述几个命题都成立的命题，也就是陈述几种事物情况都存在的命题。联言命题由支命题和命题联结词“并且”构成。用命题联结词“并且”联结两个支命题就构成一个联言命题。联言命题的支命题称为联言支，一个联言命题的联言支至少有两个。联言支可以