离散数学命题逻辑思维导图

高端的只是往往只需要最简单的整理

命题逻辑

• 命题与联结词
  • 命题
    • 能判断真假的陈述句
    • 命题公式
    • 原子命题/复合命题
  • 联结词
    • “否定”
    • “合取”
    • “析取”
    • “蕴涵”
    • “等价”
• 命题公式与分类
  • 命题公式层次
  • 重言式
  • 矛盾式
  • 可满足式
  • 真值表
• 等值演算
  • 16个等值定律
  • 24个等值公式
  • 置换规则
• 范式
  • 简单析取式/简单合取式
  • 析取范式/合取范式及其性质
  • 范式存在定理
  • 极小项/极大项
  • 主析取范式/主合取范式
• 联结词全功能集
  • 或/与非连接词
  • 联结词全功能集定义
• 组合电路
  • 与/或/非门
  • 最简展开式
  • 奎因·莫可拉斯基方法
• 理论推理
  • 8条推理定律
  • 11条推理规则
  • 附加前提证明法
  • 归谬法