CS Wiki

标签: 除外命题

此标签下有2条笔记。

  • 2026年4月20日

    10.7 非三段论推论

    • 逻辑学
    • 谓词逻辑
    • 非三段论推论
    • 关系谓词
    • 多重量化
    • 量化辖域
    • 除外命题
    • 学习/逻辑学/谓词逻辑
  • 2026年4月19日

    7.3 直言命题的标准化

    • 学习/逻辑学/日常语言中的论证
    • 命题标准化
    • 直言命题
    • 除外命题

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community