mpa逻辑_章节稿2.pptVIP

2.模态推理 模态推理是指以模态命题为前提，并根据模态命题的逻辑特点或相互关系进行的推理。 常用的模态推理有两种形式： ⑴根据对当关系进行的模态推理：已知一模态命题为真或假，推得与其同素材的另一个或几个模态命题的真假。 ⑵模态命题负命题的等值推理：由一模态命题的负命题推出与其相等值的新命题为结论。 进行模态等值推理，须同时实现“两个转换”：即模态词的转换和命题形式向其矛盾命题的转换。 第三章 复合命题及其推理 复合命题即包含其他命题的命题。构成复合命题的命题称为该复合命题的肢命题。 以复合命题为前提或结论的推理是复合推理。 一、联言命题及其推理 1.联言命题 联言命题即断定对象几种情况同时为真的命题。 例1：她既是教师又是演员。 联言命题由肢命题和联结项两部分组成。组成联言命题的命题即为其肢命题（用字母p、q表示）；将肢命题结合为一联言命题的逻辑联结词就是它的联结项（符号为∧，读作“合取”）。 逻辑公式： p并且q，或者：p∧q 联言命题的真假取决于其肢命题的真假。 一个联言命题只有在它的所有肢命题都为真时，它才真；只要有一个肢命题为假，它就不能成立。 联言命题的