看板 [ logic ]
討論串[請益] 表達數量的邏輯式
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#2
Re: [請益] 表達數量的邏輯式
推噓1(1推 0噓 1→)留言2則，0人參與, 最新作者MathTurtle (恩典)時間13年前 (2012/02/21 02:40), 編輯資訊
0
0
0
內容預覽:
從這句話 "例如x有6個, y有3個" 大概可以猜出讓你困惑的地方在哪,. 我試著很簡略的回答一下。. 首先在 predicate logic 裡面的變元(variable) (即: x, y, z, etc.). 在詮釋時, 通常是非限定地指向你論域(domain)中任何東西,. 如果你的 dom
(還有792個字)
#1
[請益] 表達數量的邏輯式
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者maibells0 (-§-Labyrinth-§-)時間14年前 (2012/02/21 00:41), 編輯資訊
0
0
0
內容預覽:
最近在看L.T.F Gamut的第一冊書，一直無法體會Predicate logic該章裡介紹的. identity和表達數量的邏輯式。想請問應該如何詮釋 at most X 的邏輯式才好。. 以下是書上的例子：. There is at most one x 全x全y ((Bx ^ By) -->
(還有205個字)
首頁
上一頁
1
下一頁
尾頁