CS Wiki

标签: 重言式

此标签下有4条笔记。

  • 2026年4月20日

    逻辑等价

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

    1.3 命题等价

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

    重言式与矛盾式

    • 逻辑学
    • 命题逻辑Ⅰ
    • 真值表
    • 重言式
    • 矛盾式
    • 偶真式
    • 思想法则
  • 2026年4月19日

    8.9 陈述形式与实质等值

    • 逻辑学
    • 命题逻辑Ⅰ
    • 陈述形式
    • 实质等值
    • 重言式
    • 矛盾式
    • 偶真式
    • 学习/逻辑学/命题逻辑

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community