合取號
含有「合取號」共 1 篇內容
全部內容
發佈日期由新至舊
作者: 黃盛
1 Down the rabbit hole: 論理型
掉下兔子洞
十四
繞道: 要分析吃論，我們還要學懂使用推論規則 (rules of inference)。
命題邏輯可以用不同風格的推演系統表達。我們用自然演繹方法 (natural deduction)。自然演繹系統好
