CS Wiki

标签: 推论规则

此标签下有8条笔记。

  • 2026年4月20日

    10.5 有效性证明

    • 逻辑学
    • 谓词逻辑
    • 量化理论
    • 自然演绎
    • 推论规则
    • 全称实例化
    • 存在泛化
    • 全称泛化
    • 存在实例化
    • 学习/逻辑学/谓词逻辑
  • 2026年4月19日

    推论规则

    • 逻辑学
    • 命题逻辑Ⅱ
    • 推论规则
    • 基本论证规则
    • 替换规则
  • 2026年4月19日

    自然演绎

    • 逻辑学
    • 命题逻辑Ⅱ
    • 自然演绎
    • 形式证明
    • 推论规则
  • 2026年4月19日

    9.1 有效性的形式证明

    • 逻辑学
    • 命题逻辑Ⅱ
    • 形式证明
    • 自然演绎
    • 推论规则
    • 学习/逻辑学/命题逻辑
  • 2026年4月19日

    9.2 基本的有效论证形式

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

    9.4 有效性形式证明的构造

    • 逻辑学
    • 命题逻辑Ⅱ
    • 证明构造
    • 证明策略
    • 推论规则
    • 学习/逻辑学/命题逻辑
  • 2026年4月19日

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

    • 逻辑学
    • 命题逻辑Ⅱ
    • 替换规则
    • 逻辑等价
    • 推论规则
    • 学习/逻辑学/命题逻辑
  • 2026年4月19日

    9.8 运用19个推论规则构建形式证明

    • 逻辑学
    • 命题逻辑Ⅱ
    • 形式证明
    • 推论规则
    • 证明策略
    • 学习/逻辑学/命题逻辑

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community