形式逻辑

形式逻辑大纲及简化公式，及对当关系图总结

形式逻辑

• 假言命题
  • 充分条件假言命题A→B
  • 必要条件假言命题B→A
  • 充分必要条件假言命题A↔B
  • 画箭头的模式
    • 去除去否 →
    • 加非去否 →
    • 去除 ←
  • 四步法：
    • 画箭头
    • 从有的开始连一连
    • 逆否
    • 有的互换是可以的
    • 注意：不要偷换概念
• 箭头使用的六大法则
  • 逆否原则
    • A→B=B→非A
  • 箭头指向原则
    • 有箭头则为真，没箭头不知道
  • 串联原则
    • A→B→C=非C→非B→非A
  • 有的互换原则
    • 有的A→B=有的B→A,不能逆否
  • 有的开头原则
    • 一串只能有一个"有的",“有的”一定要放开头。
• 联言、选言命题
  • 连言命题A∧B
  • 选言命题A∨B
  • 不相容的选言A要么B
  • 德摩根定律
    • ￢（A∧B)=非A∨非B
    • ￢（A∨B)=非A∧非B
    • ￢（A要么B）=AB∨非A非B
  • 或者与箭头的互换
    • A∨B= 非A→B 或 非B→A
    • A→B=非A∨B=非B→非A
• 假言命题的负命题
  • 矛盾命题
  • A→B=￢（A∧非B）
  • ￢（A→B）=A∧非B
• 简单命题
  • 性质命题
    • 直言命题
    • 全程命题（所有的）
      • 肯
      • 否
    • 特称命题（有的）
      • 肯
      • 否
    • 单称命题（某人）
      • 肯
      • 否
    • 对当关系图的总结：对角线矛盾，上面是反对关系（至少一假），下面下反对关系至少一真，上真下就真，上假下就假，反过来不知道。
  • 模态命题
    • 关系图总结：同上
  • 简单命题的负命题
    • 去掉否定词，有的变所有，可能变必然，否定变肯定
• 可能不
• 事实不
• 必然不
• 可能
• 事实
• 浮动主题
• 必然
• 某人
• 某人不
• 有的
• 有的不
• 所有
• 所有不
• 浮动主题