看板 [ Math ]
討論串[其他] 一階、命題、符號、述詞邏輯
共 3 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#3
Re: [其他] 一階、命題、符號、述詞邏輯
推噓6(6推 0噓 52→)留言58則，0人參與, 6年前最新作者alfadick (悟道修行者)時間12年前 (2014/01/18 00:59), 編輯資訊
0
0
0
內容預覽:
所以只要沒涉及到量詞forall、exist的敘述，. 好比"太陽很強","地球是圓的", ... 都是語句邏輯=命題邏輯=零階邏輯嗎？. 語句邏輯英文是?(wiki好像沒對應的中文頁. 請問一下，是不是幾乎所有在大學數學系範圍內會遇到的，都是一階邏輯呢？. 譬如極限的定義：. 對於所有E, 對於所
(還有216個字)
#2
Re: [其他] 一階、命題、符號、述詞邏輯
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者recorriendo (孟新)時間12年前 (2014/01/18 00:41), 編輯資訊
0
0
0
內容預覽:
古典邏輯是用"階"來分的. 零階就是所謂的語句邏輯 用的語言就是語句符號 P Q R. 每個符號有真或假兩種值. 一階以上要設一個model 可以談論裡面的東西(通常稱作x y z等等). 可以用的語言包括關係、函數、等號、量詞等等. 所以基本語句型態會有 P(x) x=y 對於所有x存在y使得Q(
(還有193個字)
#1
[其他] 一階、命題、符號、述詞邏輯
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者alfadick (悟道修行者)時間12年前 (2014/01/17 22:46), 6年前編輯資訊
0
0
0
內容預覽:
5L2c6ICFYWxmYWRpY2sgKOaCn+mBk+S/ruihjOiAhSkK55yL5p2/TWF0aArmqJnpoYxb5YW25LuWXSDkuIDpmo7jgIHlkb3poYzjgIHnrKbomZ/jgIHov7DoqZ7pgo/ovK8K5pmC6ZaTRnJpIEphbi
首頁
上一頁
1
下一頁
尾頁