CS Wiki

标签: 有效性判定

此标签下有2条笔记。

  • 2026年4月19日

    真值表

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

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

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

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community