CS Wiki

标签: 能行性

此标签下有1条笔记。

  • 2026年4月19日

    9.7 自然演绎系统

    • 逻辑学
    • 命题逻辑Ⅱ
    • 自然演绎系统
    • 完备性
    • 可靠性
    • 能行性
    • 学习/逻辑学/命题逻辑

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community