联考199逻辑-形式逻辑篇

形式逻辑基本框架及知识点精炼概括，如直言判断：“性质判断”，特定范围内的对象是否具有某种属性，希望这份脑图会对你有所帮助。

推理

• 形式逻辑
  • 满分通关
  • 判断
    • P43 学习要点： 标志词-确定形式逻辑类型-形式化 题干特点-准确选择逻辑规则 根据提问进行推理 考试10道题
    • 简单判断
      • 直言判断
        • “性质判断”P45 含义：特定范围内的对象是否具有某种属性
        • 分类
          • 全称~
          • 特称~
            • 标志词 “有的”： 1.至少有一个，0<“有的”<“全部” 2.不表示数据多少（推不出“大多数”“极少数”……表示数量的词） 3.推不出“这个”、某种特指
          • 单称~
        • 非标准形式
          • P46
          • 没有一个S不是P=所有S都是P
          • 没有S是P=所有S都不是P
          • S不都是P=有的S不是P
          • S不都不是P=有的S是P
        • 规律
          • 对当方阵
            • P47 这个 1.这个——有的 有的—？—这个 2.所有——这个 这个—？—所有 并非A——矛盾关系（即 等价于“交叉”）
            • 矛盾关系
              • “交叉”
              • 一真一假
            • 上反对关系
              • “上横线”
              • 至少有一假
              • 一个真另一个假，一个假另一个不知道
            • 下反对关系
              • “下横线”
              • 至少有一真
              • 一个假另一个真，一个真另一个不知道
            • 包含关系
              • “竖边”
              • 上真下真，上假下不知
              • 下假上假，下真上不知
          • 换位规则
            • P52
            • 全称（“所有”）
              • 只可逆否，不可换位
                • 1.一定真的：逆否/包含关系
                • 2.一定假的：上反对/上反对的逆否/矛盾关系/矛盾关系的换位
                • 3.（常考）S----P, 则“有的非S"都是不确定（欧拉图）
            • 特称（“有的）常考
              • 只可换位，不可逆否
                • ”有的“推不出”这个“
                • 1.一定真的：换位 （other“有的”都是不确定）
                • 2.一定假的：矛盾关系 （other“所有”都不确定）
        • 综合推理（常考难题）
          • P55 递推关系
          • 1.A推B，B推C，所以A推C ("所有“推”所有“）
          • 2.有的A推B,有的B推C,推不出递推 （”有的“推不出”有的“）
          • 3.“有的”+“所有”
            • A推B,有的C推A,则有的C推A推B
            • A推B,有的C推非B,则有的C推非B推非A
            • 总结：“有的”的任意一项和“所有”里的头一致or尾矛盾，则“有的”可以和“ 所有”结合
      • 模态判断
        • 分类及形式
          • 必然性~
            • 必然P
            • 必然不P
          • 或然性~
            • P60 “可能”不表示概率的大小
            • 可能P
            • 可能不P
        • 等价变形
          • 不可能=必然不=一定不
          • 不必然=可能不=不一定=未必
        • 规律
          • 对当方阵（同直言判断）
      • 关系判断
        • 对称性~~
          • 对称~~
            • 邻居 相等 同学（双向的）
          • 反对称~~
            • 大于 剥削（单向的）
          • 半对称~~
            • 认识 喜欢 理解（可能单向，也可能双向）
        • 传递性~~
          • 传递~~
            • 篮球>排球，排球>乒乓球，则篮球>乒乓球
          • 反传递~~
            • 甲是乙的父亲，乙是丙的父亲，但甲不一定是丙的父亲
          • 半传递~~
            • 甲认识乙，乙认识丙，而甲可能认识/不认识丙
    • 复合判断
      • 联言判断
        • P78
        • 定义
          • 两个“判断”同时发生
        • 形式及规则
          • P^Q （两者同时发生 ）
            • 肢-干
              • P和Q都是真的，那么P^Q是真的
              • P和Q都是假的/某一个是假的，那么P^Q是假的
            • 干-肢
              • P^Q是真的，那么P和Q都是真的
              • P^Q是假的，那么P和Q至少有一个假的（都是假的/某一个是假的）
        • 标志词
          • P79
          • “并且”“和”“兼得”“既……又……”“而”“但”“虽然……但是……”“不但……而且……”
        • 矛盾判断及公式（常考）
      • 选言判断
        • P81 
        • 相容~~
          • 定义
            • 两个条件，至少有一个发生（可以同时发生）
          • 形式及规则
            • PÚQ（至少有一个发生）
              • 肢-干
                • P、Q有一个真的/两个都是真的，那么PÚQ是真的
                • P、Q都是假的，那么PÚQ是假的
              • 干-肢
                • PÚQ是真的，P、Q至少有一个是真的（PÙ非Q、非PÙQ、PÙQ)（什么也推不出）
                • PÚQ是假的，则P、Q都是假的
              • 转换："至少有一个“=PÚQ
          • 标志词
            • “或者……或者……”“可能……可能……”“也许……也许……”“不是……就是……”“至少有一个”
        • 不相容~~
          • 定义
            • 两个条件，有且只有一个发生（不同时发生）
          • 形式及规则
            • P"Q（只能有一个发生）
              • 肢-干
                • P、Q都是真的/都是假的，那么P"Q是假的
                • P、Q一真一假，那么P"Q是真的
              • 干-肢
                • P"Q是真的，P、Q某一个是真的（谁真推不出）
                • P"Q是假的，推出P、Q同为真/同为假
          • 标志词
            • “要么……要么……”“二者必居其一“”……择一“
        • 相容~~/不相容~~的区别
          • 
        • 矛盾判断及公式（常考）
      • 假言判断（main）
        • 考试7道题
        • 充分条件~~
          • 定义
            • 一个条件发生，另一个条件一定发生 一个条件不发生，另一个条件不确定（非P不确定）
          • 标志词
            • 如果……那么……/只要……就……/……就……/若……则……/一……就……/当……就……/……是……/一定……（P,Q）
        • 必要条件~~
          • 定义
            • 一个条件不发生，另一个不发生 一个条件发生，另一个条件不确定（非Q不确定）
          • 标志词
            • 只有……才……/没有……没有……/不……不……/必须……才……/必须……才……/除非……才……/前提……/基础……/先决条件……
            • 特殊：否则：P,否则Q，否前则后（否P则Q） 除非：P,除非Q，否前则后（否P则Q） （当除非+其他标志词时，“除非”当炮灰）
        • 充要条件~~（考试基本不涉及）
      • 负判断
• 分析推理