形式邏輯筆記/第一章
出自Tan Kian-ting的維基
於 2021年12月6日 (一) 02:22 由
Tankianting
(
討論
|
貢獻
)
所做的修訂
(
差異
)
←上個修訂
|
最新修訂
(
差異
) |
下個修訂→
(
差異
)
跳至導覽
跳至搜尋
第一章 什麼是邏輯
推算 argument、論證 => 給理由相信結論
論證的形式如下圖
(1) 前提1 (2) 前提2 (3) ... ∴結論
1.1論證
==1.2句子
關聯條目
型別理論與形式證明筆記
形式邏輯筆記/第三章
形式邏輯筆記/第五章
形式邏輯筆記/第四章
程式語言、邏輯學
導覽選單
個人工具
登入
命名空間
頁面
討論
變體
視圖
閱讀
檢視原始碼
檢視歷史
更多
搜尋
導覽
首頁
愛爾蘭語辭典
近期變更
隨機頁面
有關 MediaWiki 的說明
相關網站
總首頁
Blog
舊 blog
現用 blog 備份
工具
連結至此的頁面
相關變更
特殊頁面
可列印版
固定連結
頁面資訊