CS Wiki

标签: 化归

此标签下有1条笔记。

  • 2026年4月19日

    直言三段论的15个有效形式

    • 逻辑学
    • 直言三段论
    • 有效式
    • 布尔解释
    • 化归

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community