CS Wiki

标签: 逻辑等价

此标签下有4条笔记。

  • 2026年4月20日

    逻辑等价

    • 离散数学
    • 逻辑与证明
    • 逻辑等价
    • 重言式
    • 德摩根定律
    • 可满足性
  • 2026年4月20日

    1.3 命题等价

    • 离散数学
    • 命题等价
    • 逻辑等价
    • 德摩根定律
    • 重言式
    • 可满足性
    • SAT问题
    • 学习/离散数学/逻辑与证明
  • 2026年4月19日

    8.10 逻辑等价

    • 逻辑学
    • 命题逻辑Ⅰ
    • 逻辑等价
    • 实质等值
    • De-Morgan定律
    • 双重否定律
    • 实质蕴涵
    • 双条件陈述
    • 学习/逻辑学/命题逻辑
  • 2026年4月19日

    9.6 扩展推论规则:替换规则

    • 逻辑学
    • 命题逻辑Ⅱ
    • 替换规则
    • 逻辑等价
    • 推论规则
    • 学习/逻辑学/命题逻辑

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community