第三讲 命题的判断与自然推理.pptVIP

逻辑学的主要任务是研究有效性推理。 任何一个推理可以表述成一个蕴涵命题，如果该推理形式有效，则该蕴涵命题不管其中的命题变项取何真值，该蕴涵命题总是为真，即它应该是一个重言式。 重点：（1）掌握判定一个命题是否是重言式的方法； （2）利用已学命题逻辑知识，进行命题的自然推理。 一、重言式 1、真值形式：是指由真值联结词和命题变项构成的形式结构。 在命题逻辑中，它是复合命题的命题(逻辑)形式. 1.1真值联结词：仅仅表示复合命题与肢命题之间的真假关系的联结词， 通常又叫逻辑联结词。 1.2 五种基本真值形式 否定式：?p 合取式：p? q 析取式：p? q 蕴涵式： p ? q 等值式： p ? q 2. 重言式：重言的真值形式的简称，无论其中的命题变项取何种真值，该真值形式的值都是“真”，因此，又叫永真式。 同一律：p? p; 矛盾律：?(p?? p) 排中律：p? ? p 永假式：无论其中的命题变项取何种真值，该真值形式的值都是假的。 可满足式：真值形式的值至少在某种情况下是真的。 一些常见的重言式 1、同一律：p? p; 2、矛盾律：?(p?? p) 3、排中律：p? ? p 4、分离律： （p? q）? p ? q （肯前律） 5、否后律： （p? q）? ? q ? ? p 6、析否律： （p? q） ? ? q