開啟主選單
首頁
隨機
登入
設定
關於Tan Kian-ting的維基
免責聲明
Tan Kian-ting的維基
搜尋
形式邏輯筆記/第一章
語言
監視
編輯
於 2021年12月6日 (一) 02:22 由
Tankianting
(
討論
|
貢獻
)
所做的修訂
(
差異
)
←上個修訂
|
最新修訂
(
差異
) |
下個修訂→
(
差異
)
第一章 什麼是邏輯
推算 argument、論證 => 給理由相信結論
論證的形式如下圖
(1) 前提1 (2) 前提2 (3) ... ∴結論
1.1論證
==1.2句子
關聯條目
Program=Proof筆記
型別理論與形式證明筆記
形式邏輯筆記/第三章
形式邏輯筆記/第六章
形式邏輯筆記/第四章