CS Wiki

标签: 替换规则

此标签下有2条笔记。

  • 2026年4月19日

    推论规则

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

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

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

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community