形式逻辑

管理类考研必看！一图详细总结整理形式逻辑相关知识，包括假言、联言、选言三类复言命题，直言命题、模态命题两类简单命题的定义、关系、负命题等重要知识考点。

逻辑

• 形式逻辑
  • 复言命题
    • 假言命题
      • 充分条件 假言命题（A—>B）
        • 口诀1：充分条件前推后
      • 必要条件 假言命题(A<—B)
        • 口诀2：必要条件后推前
      • 充分必要条件 假言命题（A<—>B）
        • 口诀3:充要条件两头推
      • —A—>B
        • 除非A，否则B
          • 口诀4：除非否则去“除” “否”，箭头直接向右划
        • A，否则B
          • 口诀5：加“非”去 “否”，箭头右划
        • B，除非A “口诀六：除”字去掉，箭头反转
          • “口诀6：除”字去掉，箭头反转
    • 使用箭头 六大原则
      • 逆否原则
        • A—>B=¬A<— ¬B A<—B=¬A—> ¬B
        • 口诀7：逆否等于原命题
      • 箭头指向原则 口诀八：有箭头指向则为真 没有箭头指向则可真可假
        • 口诀8：有箭头指向则为真 没有箭头指向则可真可假
      • 串联原则
      • 有的互换原则
        • 有的A是B=有的B是A 有的A—>B=有的B—>A
        • 口诀9：有的互换不逆否
      • 有的开头原则
        • 口诀10：一串一有的， 有的放开头
      • 相同概念串联原则
    • 联言、选 言命题
      • 联言命题（A∧B）
        • 联言命题
          • “却”“但是”=“并且”
          • 既....又；却....;并列关系，省略了关键词 虽然......但是...;.....和.....
        • 联言命题的真假
          • A B A∧B
          • √ √ √
          • √ × ×
          • × √ ×
          • × × ×
      • 相容选言命题（A∨B）
        • 相容选言命题
          • 关联词
            • 或者.....或者....
            • 或者....至少
        • 相容宣言命题真假
          • A B A∨B
          • √ √ √
          • √ × √
          • × √ √
          • × × ×
      • 不相容选言命题（A∀B）
        • 不相容选言命题
          • 关联词
            • 要么......要么....
            • 或者....或者..二者必居其一
        • 不相容选言命题真假
          • A B A∀B
          • √ √ ×
          • √ × √
          • × √ √
          • × × ×
      • 箭头与或者互换
        • 或者变箭头（“∨”变“—>”）
          • （A∨B）=（¬A—>B）=（¬B—>A）
          • A—>A∨B
        • 箭头变或者（“—>”变“∨”）
          • A∨¬A必然为真
          • （A—>B）=（¬A∨B）
          • 口诀11：箭头变或者，否前或肯后
      • 并且—>或者；要么—>或者
        • 口诀12：并且推或者，要么推或者
        • A∧B为真，则A∨B为真；A∀B为真，则A∨B为真
        • A∨B为真，则A∧B为真假不定；A∨B为真，则A∀B为真假不定
      • 德摩根定律
        • （1）¬（A∧B）=¬A∨¬B
        • （2）¬（A∨B）=¬A∧¬B
        • （3）¬（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）
        • 口诀13：箭头的负命题为：肯前且否后
  • 简单命题
    • 直言命题
      • 概念
        • 称性质命题，用来判断事物具有或者不具有某种性质。
      • 结构
        • 主语：直言命题的判断对象
        • 谓语：指判断对象所具有或不具有的性质
        • 量词：数量词，常用“所有”、“有的”表示
      • 特殊句式
        • 全称命题：所有，修饰主语，不修饰宾语
        • 特称命题：有的，修饰主语，不修饰宾语
      • 对当关系图
        • 所有 反对（可同假不同真） 所有不
        • 某个 某个不
        • 有的 下反对（可同真不同假） 有的不
        • 关系分为四类： 矛盾、反对、下反对、推理
      • 矛盾关系
        • 所有 与 有的不
        • 所有不 与 有的是
        • 某个是 与 某的不是
        • 均为矛盾关系，二者必有一真一假
      • 反对关系
        • 口诀14：两个所有，至少一假；一真另必假，一假另不定
      • 下反对关系
        • 口诀15：两个有的，至少一真；一假另必真，一真另不定
      • 推理关系
        • 所有——>某个——>有的
          • 箭头指向原则：有箭头指向则为真，无可真可假
          • 逆否原则：有的（为假）——>某个（为假）——>所有（为假）
        • 所有不——>某个不——>有的不
          • 箭头指向原则：有箭头指向则为真，无可真可假
          • 逆否原则：有的不（为假）—>某个不（为假）—>所有不（为假）
        • 口诀16：上真下必真，上假下不定；下假上必假，下真上不定
      • 负命题
        • 并非所有=有的不
        • 并非所有不=有的
        • 并非有的=所有不
        • 并非有的不=所有
        • 口诀17：肯定变否定，否定变肯定，所有变有的，有的变所有
    • 模态命题
      • 概念：陈述事情发生的必然性和可能性命题
      • 对当关系图
        • 必然 反对（可同假不同真） 必然不
        • 事实是 事实不是
        • 可能 下反对（可同真不同假） 可能不
      • 矛盾关系
        • 必然 可能不
        • 必然不 可能是
        • 事实是 事实不是
        • 均为矛盾关系，二者必有一真一假
      • 反对关系
        • 口诀18：两个必然，至少一假；一真另必假，一假另不定
      • 下反对关系
        • 口诀19：两个可能，至少一真；一假另必真，一真另不定
      • 推理关系
        • 必然——>事实——>可能
          • 箭头指向原则：有箭头指向则为真，无可真可假
          • 逆否原则：可能（为假）——>事实（为假）——>必然（为假）
        • 必然不——>事实不——>可能不
          • 箭头指向原则：有箭头指向则为真，无可真可假
          • 逆否原则：可能不（为假）—>事实不（为假）—>必然不（为假）
        • 口诀20：上真下必真，上假下不定；下假上必假，下真上不定
      • 负命题
        • 不可能=必然不
        • 不可能不=必然
        • 不必然=可能不
        • 不必然不=可能
        • 口诀21：肯定变否定，否定变肯定，必然变可能，可能变必然
    • 概念
      • 定义
        • 内涵：内涵是指概念所反映的事物的本质属性。
        • 外延：外延是指概念的内涵所具有的那些属性事物的范围。
      • 关系
        • 全同关系：外延完全相同
        • 种属关系：从属关系或者包含关系
        • 交叉关系：两个概念在外延上有并且只有一部分是重合的
        • 全异关系：没有重合，包括：矛盾关系和反对关系
      • 划分
        • 每次划分只能根据一个标准
        • 各子类外延之和与原概念的外延相同
        • 各子类的外延应是全异关系
      • 同一律
        • 概念的含义必须是确定
        • 在同一思维过程中，每个概念的前后应当保持一致。
        • 违反了同一律，就是概念模糊或偷换概念