形式逻辑

判断推理第一节形式逻辑知识梳理：考点1：假言命题，考点2：联言命题，考点3：选言命题，考点4：直言命题，考点5：模态命题，考点6：真假命题。

第一节 形式逻辑

• 思维的形式化
  • 如：如果天下雨，地就湿；天下雨->地上湿
• 考点1：假言命题
  • 1. 含义
    • 有它就行
    • 有A就有B，A是B的充分条件
    • A->B
  • 2. 推理规则
    • 充分条件前推后（前就是后的充分） 前->后
    • 如：只要来上岸村，就一定能上岸：上岸村->上岸
  • 3. 逻辑词
    • 1||| 只要A就B A->B
    • 2||| 如果A，那么B A->B
    • 3||| A就B，A则B、 A那么B A->B
    • 4||| A离不开B 、A必须B
      • A->B
      • 举个例子
        • 发展离不开稳定：发展--》稳定
        • 考上必须听课：考上--》听课
        • 有选举权必须满18岁：选举--》18岁
    • 5||| 所有 A都是B 、凡是A都B A--> B 所有上岸村的村都是好青年 上岸村村民-》好村年
    • 6||| 一旦/倘若/假如A，就B A--》B
    • 7||| 为了A，要B A--》B
    • 8||| A就是B的充分条件 A---》B
  • 4. A--》B的矛盾 A且-B，否前且否后
• 考点2：联言命题
• 考点3：选言命题
• 考点4：直言命题
• 考点5：模态命题
• 考点6：真假命题