「東大圖書《弗雷格》筆記」修訂間的差異

行 212: 行 212:
現有函數「------x」,若是用真當自變元,該函數的值是true,如果是非true(比如false或是一個數),則回傳false。
現有函數「------x」,若是用真當自變元,該函數的值是true,如果是非true(比如false或是一個數),則回傳false。


------2+2 = 4是真,------1+3=6是假,-------5是假
  ---2+2 = 4是真,------1+3=6是假,-------5是假


∀xF(x)表達:
∀xF(x)表達:
行 278: 行 278:


弗雷格認為,一個對象處於一個概念;概念也可以處於另一個概念下。
弗雷格認為,一個對象處於一個概念;概念也可以處於另一個概念下。
個人心得:我覺得「x的老師」和「x是老師」是不同的函數,一個回傳人,一個回傳boolean


[[category:邏輯學]]
[[category:邏輯學]]
[[category:數學]]
[[category:數學]]