CS Wiki

Home

❯

逻辑学知识库总览

❯

theorems

文件夹: 逻辑学/theorems

此文件夹下有15条笔记。

  • 2026年4月24日

    De Morgan定律

    • 逻辑学
    • 命题逻辑
    • 逻辑等价
  • 2026年4月24日

    Mill因果五法

    • 逻辑学
    • 因果推理
    • 归纳方法
  • 2026年4月24日

    二难推论构成规则

    • 逻辑学
    • 命题逻辑
    • 推理规则
  • 2026年4月24日

    假言三段论

    • 逻辑学
    • 命题逻辑
    • 推理规则
  • 2026年4月24日

    全称实例化与存在泛化规则

    • 逻辑学
    • 谓词逻辑
    • 推理规则
  • 2026年4月24日

    可靠性定理

    • 逻辑学
    • 命题逻辑
    • 元定理
  • 2026年4月24日

    完备性定理

    • 逻辑学
    • 命题逻辑
    • 元定理
  • 2026年4月24日

    对当方阵关系定理

    • 逻辑学
    • 直言命题
    • 词项逻辑
  • 2026年4月24日

    归纳强度评估准则

    • 逻辑学
    • 归纳推理
    • 类比推理
  • 2026年4月24日

    有效性判定定理

    • 逻辑学
    • 命题逻辑
    • 有效性
  • 2026年4月24日

    条件证明定理

    • 逻辑学
    • 命题逻辑
    • 推理规则
  • 2026年4月24日

    析取三段论

    • 逻辑学
    • 命题逻辑
    • 推理规则
  • 2026年4月24日

    演绎有效性守恒定理

    • 逻辑学
    • 基本概念
    • 演绎论证
  • 2026年4月24日

    直言三段论有效性判定定理

    • 逻辑学
    • 直言三段论
    • 词项逻辑
  • 2026年4月24日

    贝叶斯定理

    • 逻辑学
    • 概率
    • 统计推理

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community