假言命题及其推理

形式逻辑假言命题相关知识点思维导图

假言命题及其推理

• 充分条件假言命题
  • 表达及其真假性质
    • s→p
    • • 前件为假，后件真假不定，命题恒真
      • 后件为真，前件真假不定，命题恒真
      • s为真，p真，s→p为真
      • s为真，p假，s→p为假
  • 等价命题
    • 逆否命题
      • ¬p→¬s
    • 假言命题与选言命题的互换
      • ¬s∨p
      • ¬p∨s
  • 矛盾命题
    • 假言命题与联言命题的互换
      • s∧¬p
      • p∧¬s
  • 特殊刻画
    • “才”优先原则
      • “才”后面的为必要条件
      • 只有s才p
        • p→s
      • 除非s才p
        • p→s
    • 除非···否则···
      • 除非s是指除了¬s,即s，“否则”否定的是它前面的
      • 除非s，否则p
        • ¬s→p
      • s，否则p
        • ¬s→p
• 必要条件假言命题
  • s←p
    • ¬p→¬s,无p必定无s，有p不一定有s
• 充要条件假言命题
  • 表达
    • s↔p 当且仅当，唯一条件
  • 真假性
    • 有s必然有p，无s必然无p，命题为真
    • 有s但无p，无s但有p，命题为假
  • 推理规则
    • 肯定前件就要肯定后件，肯定后件就要肯定前件
    • 否定前件就要否定后件，否定后件就要否定前件
  • 矛盾命题
    • ¬(s↔p) (¬s∧p)∨(s∧¬p)
• 整体思想＆逻辑链的构建
  • 前后件中出现联言、选言要整体看待
  • 与直言命题联系
• 假言推理