CS Wiki

标签: 真值表

此标签下有7条笔记。

  • 2026年4月20日

    命题逻辑

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

    1.1 命题逻辑

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

    形式证明-vs-真值表

    • 逻辑学
    • 命题逻辑Ⅱ
    • 对比
    • 形式证明
    • 真值表
  • 2026年4月19日

    真值表

    • 逻辑学
    • 命题逻辑Ⅰ
    • 真值表
    • 真值函项性
    • 有效性判定
  • 2026年4月19日

    逻辑等价

    • 逻辑学
    • 命题逻辑Ⅰ
    • 真值表
    • 等价关系
  • 2026年4月19日

    重言式与矛盾式

    • 逻辑学
    • 命题逻辑Ⅰ
    • 真值表
    • 重言式
    • 矛盾式
    • 偶真式
    • 思想法则
  • 2026年4月19日

    8.7 根据真值表验证论证:完备的真值表方法

    • 逻辑学
    • 命题逻辑Ⅰ
    • 真值表
    • 完备真值表方法
    • 有效性判定
    • 引导列
    • 学习/逻辑学/命题逻辑

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community