CS Wiki

标签: 构造式二难

此标签下有1条笔记。

  • 2026年4月19日

    9.2 基本的有效论证形式

    • 逻辑学
    • 命题逻辑Ⅱ
    • 推论规则
    • 有效论证形式
    • 肯定前件式
    • 否定后件式
    • 假言三段论
    • 构造式二难
    • 学习/逻辑学/命题逻辑

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community