2,619
次編輯
「Translations from the Philosopical Writing of Gottlob Frege 筆記」修訂間的差異
Translations from the Philosopical Writing of Gottlob Frege 筆記 (檢視原始碼)
於 2024年4月20日 (六) 01:48 的修訂
、 2024年4月20日 (星期六)→7 否定
Tankianting（討論 | 貢獻） （→7 否定） |
Tankianting（討論 | 貢獻） （→7 否定） |
||
| 行 156： | 行 156： | ||
</pre> | </pre> | ||
被否定（「A and B同時存在被否定」被否定），也就是上上式是「A and B」。 | 被否定（「A and B同時存在被否定」被否定），也就是上上式是「A and B」。 | ||
假設 | |||
<pre> | |||
/ A | |||
\ B | |||
</pre> | |||
（原文是花括號，但為便利，所以這樣寫）表示A and B，則 B->A可表示為： | |||
<pre> | |||
/--+-- A | |||
-+--/ | | |||
| \ B | |||
</pre> | |||
即（NOT (AND (NOT A) B)） | |||
and 和 but 的差別，概念文字不區分。因為but只是表示接下來有轉折。 | |||
[[category:邏輯學]] | [[category:邏輯學]] | ||
[[category:數學]] | [[category:數學]] | ||