2,619
次編輯
Tankianting(討論 | 貢獻) |
Tankianting(討論 | 貢獻) |
||
行 212: | 行 212: | ||
現有函數「------x」,若是用真當自變元,該函數的值是true,如果是非true(比如false或是一個數),則回傳false。 | 現有函數「------x」,若是用真當自變元,該函數的值是true,如果是非true(比如false或是一個數),則回傳false。 | ||
---2+2 = 4是真,------1+3=6是假,-------5是假 | |||
∀xF(x)表達: | ∀xF(x)表達: | ||
行 278: | 行 278: | ||
弗雷格認為,一個對象處於一個概念;概念也可以處於另一個概念下。 | 弗雷格認為,一個對象處於一個概念;概念也可以處於另一個概念下。 | ||
個人心得:我覺得「x的老師」和「x是老師」是不同的函數,一個回傳人,一個回傳boolean | |||
[[category:邏輯學]] | [[category:邏輯學]] | ||
[[category:數學]] | [[category:數學]] |