离散数学命题逻辑

掌握了出题者的命题逻辑，就相当于掌握了敌人的弱点，可以有针对性地一击制敌。本思维导图为大家整理了离散数学命题逻辑的知识总结 ：逻辑联结词、等值演算、命题符号化、合取析取范式。干货满满，赶快收藏学起来吧！

命题逻辑

• 命题
  • 有唯一真值的陈述句
  • 联结词
    • 
      • 析取=相容或=两者可以同时为真
    • 
    • 
    • 
  • 符号化命题与自然语言之间的转换
    • 只要/如果p 就q p->q
    • 只有p 才q q->p ~p->~q
      • 只有努力了才能成功 成功->努力 但是努力不能->成功
    • 除非p 否则~q q->p ~p->~q
    • 假如~p 就~q q->p ~p->~q
• 公式
  • 
• 范式
  • 主析取范式
    • 等值演算
      • 
    • 真值表
      • 
  • 主合取范式
    • 等值演算
    • 真值表
      • 
• 等值演算
• 推理
  •