析取消去派生規則
含有「析取消去派生規則」共 1 篇內容
全部內容
發佈日期由新至舊
4 The Rabbit Sends a Little Bill: 重言式/析取消去派生規則
兔子送上一張小賬單 or 兔子派遣一隻小比爾
八
現在我們嘗試用命題邏輯 (propositional logic: 即命題的邏輯或語句的邏輯) 語言給予愛麗絲那漫不經心的推理一個形式化表述; 凡例先
