离散一单元

命题逻辑，命题，连接词，命题公式，等值演算，范式，推理理论知识点总结，推理理论有真值表法，构造证明法，归谬法，直接证明法。

命题逻辑

• 命题：
  • 条件
    • 1.陈述句
    • 2.有为一真值
  • 类型
    • 真命题
    • 假命题
• 连接词
  • 否定
    • 双重否定为肯定
  • 合取
    • 两个同时为真时为真
  • 析取
    • 有一个为真就为真
  • 蕴含
    • 前真后假为假
  • 等价
    • 两个真值相同为真
• 命题公式
  • 重言式
  • 矛盾式
  • 可满足式
• 等值演算
  • 子主题
  • 真值表法
• 范式
  • 简单析取式
    • 仅由有限个命题变项或其否定构成的析取式
  • 简单合取式
    • 仅由有限个命题变项或其否定构成的合取式
      • 仅由有限个命题变项或其否定构成的析取式
  • 析取范式
    • 仅由有限个简单合取式构成的析取式
  • 合取范式
    • 仅由有限个简单析取式构成的合取式
  • 极小项
    • 设有n个·命题变项，若在简单合取式中每个命题变项与其否定有且仅有一个出现一次，这样的简单合取式称为极小项
  • 极大项
    • 设有n个·命题变项，若在简单析取式中每个命题变项与其否定有且仅有一个出现一次，这样的简单析取式称为极大项
  • 主析取/合取范式
    • 由极小项/极大项构成的析取/合取范式
• 推理理论
  • 真值表法
  • 构造证明法
    • 子主题
  • 归谬法
  • 直接证明法