公务员 考试逻辑专题讲义设计基础知识.docVIP

概念及三段论 概念间的相互关系—文氏图 1全同:所有A都是B 所有B都是A A=B 考点 2全异:所有A都不是B(所有B都不是A可以省略) 完全排斥 3交叉:有些A是B 有些B是A 4包含(于):所有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 所有S都是P推出某个S是P 所有S都不是P推出某个S不是P 某个S是P推出有些S是P 某个S不是P推出有些S不是P 直言命题对当关系图：灵活掌握 一目了然 复言命题 复言命题的形式：复句 单句的基础上加上逻辑词项、关联词 基本组成部分是直言命题 基本类型：联言命题 选言命题 充分条件假言命题 必要条件假言命题 联言命题 形式：A并且B 简称A且B 日常用语表达：不但……而且 虽然……但是 既……又 含义：“A且B”为真，当且仅当A、B都为真；若一个支命题为假，则联言命题为假。 矛盾命题：A且B的矛盾命题是并非（A且B）=-（A且B）=-A或-B 推理规则：“且”变“或”，“-”进入各支命题 选言命题 形式：相容的选言命题A或B 不相容的选言命题要么A要么B 含义：“A或B”为真，A与B至少有一个为真即可。当且仅当全部选言支命题为假时，选言命题为假；“要么A要么B”为真，有且仅有一个支命题为真。当全部支命题都真或都假时，选言命题为假。 矛盾命题：A或B的矛盾命题是并非（A或B）=-（A或B）=-A且-B 推理规则：“或”变“且”，“-”进入各支命题 充分条件假言命题 形式：如果A，那么B。A→B 含义：如果A发生，则B一定发生，但如果A不发生B不一定不发生，我们说A是B的充分条件。 矛盾命题：A且非B 充分条件假言命题 假言推理：例题“如果晚上吃东西，那么就会变胖” 晚上吃东西→变胖（必然结论） 晚上不吃东西→没变胖（可能而非必然结论） 变胖→晚上吃东西（可能而非必然结论） 没变胖→晚上没吃东西（必然结论） 必然结论推理规