2,619
次編輯
「Translations from the Philosopical Writing of Gottlob Frege 筆記」修訂間的差異
Translations from the Philosopical Writing of Gottlob Frege 筆記 (檢視原始碼)
於 2024年4月20日 (六) 02:12 的修訂
、 2024年4月20日 (星期六)→7 否定
Tankianting（討論 | 貢獻） （→7 否定） |
Tankianting（討論 | 貢獻） （→7 否定） |
||
| 行 149： | 行 149： | ||
<pre> | <pre> | ||
---+----+---A | ---+----+---A | ||
| | | |||
| | | | ||
|--------B | |--------B | ||
| 行 166： | 行 166： | ||
/--+-- A | /--+-- A | ||
-+--/ | | -+--/ | | ||
| \ B | | \ | ||
\ B | |||
</pre> | </pre> | ||
即（NOT (AND (NOT A) B)） | 即（NOT (AND (NOT A) B)） | ||
and 和 but 的差別，概念文字不區分。因為but只是表示接下來有轉折。 | and 和 but 的差別，概念文字不區分。因為but只是表示接下來有轉折。 | ||
<pre> | |||
| | |||
|---+-+------------B | |||
| | | | |||
| | | |||
| | |||
| | |||
-----+------ A | |||
| | |||
| | |||
</pre> | |||
表示 NOT(OR A B) | |||
===8內容的相等=== | |||
等號和條件、否定不同於涉及名稱，不涉及內容。等號的兩邊指其二內容相等。 | |||
内容平等与条件和否定的不同之处在于，它只涉及名称，而不涉及内容。假設有一個圓，B是穿過該圓極右點A的割線的另一個和圓的交會點。假設剖線越接近B點的切線，則B會和A重合，但我們在問題答案還沒給定之前，不能假設B就是A。如何說B等於A？有兩條路： | |||
#憑經驗。 | |||
#當割線趨近於B點切線時，可得到答案。 | |||
如果兩個符號指給定一個答案的不同方法（思路），那不同符號用等號連接則有意義。另一個意義：縮語可以避免冗長。 | |||
<pre> | |||
|-----------------A≡B | |||
</pre> | |||
表示A、B概念相等，可以互換。 | |||
[[category:邏輯學]] | [[category:邏輯學]] | ||
[[category:數學]] | [[category:數學]] | ||