逻辑判断-逻辑推理.ppt

《逻辑判断-逻辑推理.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、逻辑推理第一章概述一、什么叫逻辑？是人的一种抽象思维，是人通过概念、判断、推理、论证来理解和区分客观世界的思维过程。1.1逻辑精神严谨性不要轻易的外加自己的主观判断非专业性不要轻易外加专业知识形式性不要轻易的外加现实的客观1.1逻辑精神【例题】某个班级，有15个人不是男的，16人不是女的，现在已知男女生共25人。请问：有多少男生，多少女生，共多少人？男+女=25人男+15=总人数女+16=总人数解题思路二：不是男生比不是女生少一人，男生比女生多一人，又男女生之和25人，得出男生13人，女生12人。15人不是男生减去女生

2、12人，得出3人为其他，即总人数为25+3=28人1.2知识体系必然性推理（一般到特殊）可能性推理（特殊到一般）三段论直言命题模态命题复言命题其它必然性推理类比归纳研究概念与概念之间的关系主要研究对象是命题命题是指包含判断的语句枚举归纳科学归纳1.3关键词一、有些一部分某个全部至少有一个二、逆否命题A是B的逆否命题是非B是非A二者是等价的1.3关键词三、不都=都不=有些非所有非第二章概念间关系及三段论汽车全集非汽车人小蓝色的小人怎样用文氏图表示概念第二章概念间关系及三段论2.1概念与概念的关系A、B全同全异AB交叉AB

3、所有A是B所有B是A所有A不是B所有A不是B=所有B不是A有些A是B有些A是B=有些B是A有些A不是B有些B不是A所有B是A×所有A是B有些B不是A×有些A不是B第二章概念间关系及三段论2.1概念与概念的关系A包含BA包含于BABAB所有B是A有些A不是B有些A不是B×所有B是A有些A是B所有B是A2.2推理规则四大正确的推理所有A是B→有些B是A所有A非B=所有B非A有些A是B=有些B是A所有A是B等价转换规则：在是的前后加不并不影响命题的价值，换句话说，这是一种等价变换。前后加不，颠倒A、B例：所有青年是党员→有些

4、党员是青年例：所有女生都不是运动员=所有运动员都不是女生例：有些战士是党员=有些党员是战士例：所有领导是公务员=所有非公务员都不是领导=所有A不是非B=所有非B不是A2.2推理规则四大错误的推理所有A是B×所有B是A二.有些A非B×有些B非A三.所有A是B×有些B非A四.有些A是B×有些A非B例如：所有广东人是南方人推不出所有南方人是广东人例如：有些人不是男人推不出有些男人不是人例如：所有长沙人都是星城人推不出有些星城人不是长沙人例如：有些同学是优秀学生推不出有些同学不是优秀学生2.2推理规则判断下面推理的正误。推理一

5、、有些善良的人不聪明，所以，有些聪明的人不善良。推理二、某校全体学生都去看电影，所以，看电影的都是该校学生。A.都正确B.都不正确C.I正确，II不正确D.II正确，I不正确2.2推理规则说明下面两个推理的正确性。推理I：有些太空中的双子星是恒星，所以，有些恒星是太空中的双子星。推理II：有些太空中的双子星不是恒星，所以，有些恒星不是太空中的双子星。A.都正确B.都不正确C.I正确，II不正确D.II正确，I不正确2.2推理规则所有南京人都是江苏人；所有南京人都喜欢吃咸鸭；有些江苏人喜欢旅游。如果以上断定成立，那么下列

6、哪项能够推出？I.有些江苏人不是南京人。II.有些江苏人不喜欢旅游。III.有些江苏人喜欢吃咸鸭。A.仅IB.仅IIIC.仅IIID.仅I、II和III第二章概念间关系及三段论文氏图表示三段论江苏人南京人吃咸鸭三段论公式所有有些A是B，所有有些A是不是C所有A是B+所有B是C→所有A是C所有A是B+所有B不是C→所有A不是C有些A是B+所有B是C→有些A是C有些A是B+所有B不是C→有些A不是C是不是C所有B条件结论三段论习题王平是凤凰公司的经理，李强的所有朋友都在凤凰公司工作。胡斌是李强的朋友。凤凰公司中有些职工来自

7、湖南，凤凰公司所有的职工都是大学生。据此，我们可以知道：A.李强有一些学历不高的朋友B.胡斌是大学生C.胡斌来自湖南D.王平与李强是朋友三段论习题三段论的做题方法：结论型题型方法一、画图方法二、找“是B，所有B”三段论习题所有称职的教师都是关心学生成绩的教师，所有关心学生成绩的教师工作都很忙碌，工作不忙碌的教师都不是优秀教师。根据以上论述，一定可以推出：A.有些优秀教师不是工作忙碌的教师B.有些工作忙碌的教师不是优秀教师C.所有称职的教师工作都很忙碌D.所有忙碌的教师都很关心学生成绩三段论习题参加培训的学生有些通过了考

8、试。因此，参加培训的有些女同学通过了考试。为使上述推理成立，需要补充以下哪项作为前提？A.参加培训的学生都是女同学B.参加培训的男生有些通过了考试C.参加培训的有些女同学没有通过考试D.有些参加培训的学生是女同学三段论的做题方法：前提型题型方法一、所有+所有→所有有些+所有→有些肯定+肯定→肯定肯定+否定→否定方法二、画图三段论习