逻辑学(公务员精品课)-文档资料
- 格式:ppt
- 大小:448.50 KB
- 文档页数:41


概念及三段论概念间的相互关系—文氏图1全同:所有A都是B 所有B都是A A=B 考点2全异:所有A都不是B(所有B都不是A可以省略) 完全排斥3交叉:有些A是B 有些B是A4包含(于):所有B都是A,有些A不是B三段论的集合表示三段论:所有M都是P所有S都是M所以所有S都是P由包含着一个共同词项的两个直言命题推出一个新的直言命题的推理集合表示:例题关注具有三个集合属性的答案直言命题几个知识点最简单的命题单句研究概念种类:所有S都是P所有S不是P有些S是P有些S不是P某个S是P某个S不是P逻辑学中的“有些”:一个,一部分,全部,即“至少有一个”直言命题间的对当关系1矛盾关系:矛盾命题不能同真不能同假,必有一真必有一假推理过程:“所有S都是P”矛盾命题是“并非所有S都是P”→至少一个S不是P=有些S 不是P结论—三对矛盾命题:“所有S都是P”与“有些S不是P”“所有S都不是P”与“有些S是P”“某个S是P”与“某个S不是P”直言命题间的对当关系2上反对关系:能同假但不能同真且必有一假例如:“所有人都吃饭了”与“所有人都没吃饭”其一为真时,另一必为假;其一为假时,另一个真假不能确定,如“有些人吃了有些人没吃”的情况结论:所有S都是P与所有S都不是P 上反对关系 直言命题间的对当关系3下反对关系:可同真但不能同假且必有一真例如:“有些人吃饭了”与“有些人没吃饭”其一为假时,另一必为真;其一为真时,另一真假不能确定,如“有些人吃了,有些人可能吃了也可能没吃”的情况结论:有些S是P与有些S不是P 下反对关系 直言命题间的对当关系4推出关系:以一者为前提,可以推出另一者结论:所有S都是P推出有些S是P所有S都不是P推出有些S不是P。