2,619
次編輯
「Translations from the Philosopical Writing of Gottlob Frege 筆記」修訂間的差異
Translations from the Philosopical Writing of Gottlob Frege 筆記 (檢視原始碼)
於 2024年4月20日 (六) 01:41 的修訂
、 2024年4月20日 (星期六)→7 否定
Tankianting（討論 | 貢獻） （→6） |
Tankianting（討論 | 貢獻） （→7 否定） |
||
| 行 116： | 行 116： | ||
表示「非A」，不斷定其真假。 | 表示「非A」，不斷定其真假。 | ||
<pre> | |||
| | |||
|-+---------A | |||
| | | |||
|----+---B | |||
| | |||
</pre> | |||
表示「A被否定且『非B』被肯定」是不存在。也就是 A OR B（非互斥） | |||
<pre> | |||
| | |||
|-+----+---A | |||
| | | | |||
| | |||
|--------B | |||
</pre> | |||
表示互斥OR （註：但是如果翻譯成現代的標記法，B=false及A=false也會變成true，這樣不合理），就是二選一不可兼得。「¬B-> A」=>「¬B-OR ¬A」=>「¬(B AND A)」 | |||
<pre> | |||
| | |||
|-+--+----+---A | |||
| | | | | |||
| | |||
|--------B | |||
</pre> | |||
表示下式： | |||
<pre> | |||
| | |||
|---+----+---A | |||
| | | | |||
| | |||
|--------B | |||
</pre> | |||
被否定（「A and B同時存在被否定」被否定），也就是上上式是「A and B」。 | |||
[[category:邏輯學]] | [[category:邏輯學]] | ||
[[category:數學]] | [[category:數學]] | ||