引入規則
#
引入規則
含有「引入規則」共 1 篇內容
全部內容
發佈日期由新至舊
綁架愛麗絲 之 地下邏輯 017
作者: 黃盛 1 Down the rabbit hole: 論理型 掉下兔子洞 十四 繞道: 要分析吃論，我們還要學懂使用推論規則 (rules of inference)。 命題邏輯可以用不同風格的推演系統表達。我們用自然演繹方法 (natural deduction)。自然演繹系統好
發佈在
sen的沙龍
2023-08-24
2
#
愛麗絲奇境歷險記
#
綁架愛麗絲
#
地下邏輯
