開啟主選單
首頁
隨機
登入
設定
關於Tan Kian-ting的維基
免責聲明
Tan Kian-ting的維基
搜尋
形式邏輯筆記/第一章
語言
監視
編輯
於 2021年12月6日 (一) 01:04 由
Tankianting
(
討論
|
貢獻
)
所做的修訂
(建立內容為「'''第一章 什麼是邏輯''' 推算 argument、論證 => 給理由相信結論 論證的形式如下圖 <pre> (1) 前提1 (2) 前提2 (3) ... ∴結論 </pre>」的新頁面)
(差異) ←上個修訂 |
最新修訂
(
差異
) |
下個修訂→
(
差異
)
第一章 什麼是邏輯
推算 argument、論證 => 給理由相信結論
論證的形式如下圖
(1) 前提1 (2) 前提2 (3) ... ∴結論
關聯條目
Program=Proof筆記-第1章
Translations from the Philosopical Writing of Gottlob Frege 筆記-概念文字 第一章
型別理論與形式證明筆記
形式邏輯筆記/第五章
程式語言、邏輯學