工程逻辑学2预案.pptVIP

第三章 复合命题及其推理 复合命题即包含其他命题的命题。构成复合命题的命题称为该复合命题的肢命题。 以复合命题为前提或结论的推理是复合推理。 一、联言命题及其推理 1.联言命题 联言命题即同时断定思维对象几种情况的命题。 例如：她既是教师又是演员。 联言命题由联言肢和联结项两部分组成。组成联言命题的命题即为联言肢（用字母p、q表示）；将联言肢结合为一联言命题的逻辑联结词就是联结项（符号为∧，读作“合取”）。 可用如下公式表示联言命题的结构： p并且q，或者：p∧q 联言命题的真假取决于其肢命题的真假。 一个联言命题只有在它的所有联言肢都是真的时候，它才是真的；只要有一个肢命题假它就是假的。 联言命题的真假情况可用“真值表”表示。 2.联言推理 联言推理即前提或结论中包含联言命题、且根据联言命题的逻辑特性进行的推理。有三种形式： ⑴分解式，公式为： p∧q， ∴p（或者q）。 ⑵组合式，其公式为： p， q， ∴p∧q。 ⑶否定式，其