CS Wiki

标签: 命题逻辑

此标签下有9条笔记。

  • 2026年4月20日

    命题逻辑

    • 离散数学
    • 逻辑与证明
    • 命题逻辑
    • 逻辑联结词
    • 真值表
    • 条件语句
  • 2026年4月20日

    1.1 命题逻辑

    • 离散数学
    • 命题逻辑
    • 逻辑联结词
    • 真值表
    • 条件语句
    • 位运算
    • 学习/离散数学/逻辑与证明
  • 2026年4月20日

    1.2 命题逻辑的应用

    • 离散数学
    • 命题逻辑
    • 逻辑翻译
    • 系统规约
    • 布尔搜索
    • 逻辑谜题
    • 逻辑电路
    • 学习/离散数学/逻辑与证明
  • 2026年4月20日

    1.6 推理规则

    • 离散数学
    • 命题逻辑
    • 推理规则
    • 量词推理
    • 谬误
    • 学习/离散数学/逻辑与证明
  • 2026年4月20日

    命题逻辑-vs-谓词逻辑

    • 逻辑学
    • 谓词逻辑
    • 对比
    • 命题逻辑
  • 2026年4月19日

    析取三段论 vs 假言三段论

    • 逻辑学
    • 日常语言中的论证
    • 命题逻辑
    • 演绎论证
  • 2026年4月19日

    二难推论

    • 逻辑学
    • 日常语言中的论证
    • 命题逻辑
    • 演绎论证
  • 2026年4月19日

    假言三段论

    • 逻辑学
    • 日常语言中的论证
    • 命题逻辑
    • 条件命题
    • 推理规则
  • 2026年4月19日

    析取三段论

    • 逻辑学
    • 日常语言中的论证
    • 命题逻辑
    • 析取
    • 推理规则

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community