CS Wiki

标签: 量化理论

此标签下有3条笔记。

  • 2026年4月20日

    10.1 对量化的呼唤

    • 逻辑学
    • 谓词逻辑
    • 量化理论
    • 命题逻辑的局限性
    • 弗雷格
    • 个体变元
    • 谓词
    • 学习/逻辑学/谓词逻辑
  • 2026年4月20日

    10.4 传统主谓命题

    • 逻辑学
    • 谓词逻辑
    • 量化理论
    • 直言命题
    • A_E_I_O
    • 存在含义
    • 学习/逻辑学/谓词逻辑
  • 2026年4月20日

    10.5 有效性证明

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

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community