形式逻辑考点

这是一篇关于形式逻辑考点的思维导图，主要内容包括：模态命题，直言命题。希望此脑图对你有所帮助！

形式逻辑考点

• 直言命题
  • 本质
    • 定义
      • 一定范围内的对象是否具有某种性质
    • 种类划分
      • 断定范围
        • 所有，某一，有的
      • 是否具有性质
        • 肯定，否定
    • 刻画方式
      • →表示性质，¬表示否定，若是具体对象的具体性质，用缩写+（）
  • 关系
    • 六棱图
      • 矛盾关系，对角线之间
      • 推出关系，√顺×逆，其余不知
      • 上反对关系，上不稳，必有1假
        • 1真另必假
        • 1假另不知
      • 下反对关系，必有1真
        • 1真另不知
        • 1假另必真
      • 有的，在逻辑中表示≥1，可以等于所有的，注意和常识区分
  • 换位性质
    • 逆否
      • 在直言命题中，所有命题可以逆否，有的不行
    • 互换
      • 在直言命题中，有的可以互换，所有不行
  • 逻辑链（结合换位性质考察
    • 找首位相同项以连接
    • 有的仅放在开头。且有的与有的之间无法构成逻辑链
    • 所有均可放
    • 携带截取，逻辑链可任意截取
    • 首位截取考察最多
  • 传递
    • 传递规则
      • 所有命题具有传递规则，有的命题不具有
      • S→P,S真则P真
      • S→P,P假则S假
      • 其他为无效传递
• 模态命题
  • 本质
    • 断定事务发生的必然性或可能性，是事物的未来性质
  • 种类划分
    • 可能性
      • 必然，可能
    • 是否具有性质
      • 肯定，否定
  • 关系
    • 四棱图
      • 必然是在左上，可能是左下
      • 同样推出关系
      • 矛盾关系
      • 上反对关系
      • 下反对关系
  • 否定等值规则
    • 在直言命题和模态命题中，并非＋原命题⇔矛盾命题
      • 一去三换，去掉并非，否定词之后的内容，所有有的互换，必然可能互换，否肯互换
      • 所有……都 结构中，去掉所有只看都，所有都一个意思
      • ……＋是＋模态词结构中，是之后的内容都放到开头，加语文理解
      • 没有 可以视为 并非有的
      • ……的中的否定词不参与变化