看板 [ logic ]
討論串[請益] axiom system
共 4 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#4
Re: [請益] axiom system
推噓4(4推 0噓 9→)留言13則，0人參與, 最新作者cmlrdg (心之語)時間17年前 (2009/02/08 19:39), 編輯資訊
0
0
0
內容預覽:
感謝MathTurtle大的補充 ^_^. 小弟才疏學淺, 是邏輯學入門新手. 謝謝您點出我想法上的一些漏洞 :)我對於邏輯的認知. 絕大多數來自於C. H. Papadimitriou的書. 因此也採用了不少他的說法 :). 在這裡 我所謂的tautology. 意思是指在truth table當
(還有1991個字)
#3
Re: [請益] axiom system
推噓2(2推 0噓 0→)留言2則，0人參與, 最新作者MathTurtle (恩典)時間17年前 (2009/01/20 04:17), 編輯資訊
0
0
0
內容預覽:
我來補充一下好了。. Mendelson這本是本經典的好書,. 不過真的要讀完它也不是很容易,. 加油 ^^. 用 tautology來說明axiom是什麼, 可以幫助理解,. 不過還是必須小心:. (1) tautology 本身並不是一個很清楚的概念 (except in something l
(還有739個字)
#2
Re: [請益] axiom system
推噓3(3推 0噓 11→)留言14則，0人參與, 最新作者cmlrdg (心之語)時間17年前 (2009/01/18 01:32), 編輯資訊
0
0
0
內容預覽:
^^^^^^^^^^^^^^^ ^^^^^^^^^^^^. 是的.... 簡單來說, 他的公理有A1, A2, 和A3三種型式. 每一個型式都有(可數)無限多個邏輯句子.. 你可以發現若將上述的A, B, C看成Boolean variables,. 則A1, A2, A3都是tautologies
(還有486個字)
#1
[請益] axiom system
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者Jer1983 (stanley)時間17年前 (2009/01/17 21:14), 編輯資訊
0
0
0
內容預覽:
各位好, 小弟最近在研讀Mendelson的introduction to mathematical logic.. 目前看到第一章第四節, 在談formal axiomatic thoery L.. 其中有一段說 If A,B and C are any wfs(well-formed formu
(還有180個字)
首頁
上一頁
1
下一頁
尾頁