看板
[ Math ]
討論串[其他] 邏輯中的"定義"該怎麼寫？
共 5 篇文章
內容預覽:
type就是把變數分類 像程式語言裡把變數分成int, boolean一樣. 標準的數理邏輯裡變數沒有分類. 不過也有分類變數的理論 一般通稱做many-sorted logic. 沒有type的理論只需要一個universe. 有type的理論則每一個基本type都要有一個universe. 然後
(還有626個字)
內容預覽:
處理「定義」最簡單的方式我想應該是先區分「後設語言」(meta-language) 和. 「對象語言」(object language), 然後說「定義」是後設語言裡的機制，. 目的是為了方便寫出對象語言裡常用或重要的樣式。. 我自己的經驗是傳統數學裡很少談「型式」「語法」(syntax) 這類數學
(還有3510個字)
內容預覽:
看了以上的討論, 我不知道type theory和邏輯符號語言之間的差別. 因為我也曾經看過像logic set and recursion(http://ppt.cc/PatL)之類的書. 裡面主要就是在說邏輯符號系統的language structure是怎樣. 怎樣去interpret這些la
(還有205個字)
內容預覽:
尚沒有習慣用法 \stackrel{\text{def}}{=}. 在 = 上加 def，加 \Delta 的也有。. ≡ 常用於表示兩者邏輯相等，所以要說與 <==> (\iff) 一樣也可以，. 但也會拿來表示餘數相等；或者是在數理邏輯. 用來表示兩者在系統外的相等，而 <==> 代表系統內的
(還有317個字)
內容預覽:
例如三角形各邊相等，我們稱為正三角行，. 這裡的口語「我們稱為」，就是定義的意思：我們定義正三角形為三邊長相等的三角形. 請問這種定義用邏輯的符號書寫，是怎麼寫呢？. 1. 正三角形 ≡ 三邊長相等的三角形. 還是 正三角形 <=> 三邊長相等的三角形. 2. 物理中我們定義速度 = 位移/時間,.
(還有855個字)