「Translations from the Philosopical Writing of Gottlob Frege 筆記」修訂間的差異

Translations from the Philosopical Writing of Gottlob Frege 筆記 (檢視原始碼)

增加 937 位元組、 2024年4月20日 (星期六)

2,619

次編輯

@@ 行 86： / 行 86： @@
                      +----------B
 </pre>
+===6===
+依現今的標記法，A->B 和A合起來變成B。
+一個新判斷都是從一個以上的單一判斷推導。
+<pre>
+                         ------------------- A
+                             |   |
+                             |   +----------B
+                             |
+                             |------------ C
+</pre>
+和<code>--------------B</code>及<code>--------------C</code>結合，則<code>------A</code>出現。
+我們可以限制為一種推論模式。如果我們不如此做，沒必要陷入亞里斯多德的推論形式，可以無窮增加新形式。這種對單一形式推理限制，不是表達一個心理學命題。
+===7 否定===
+內容劃中央加一小豎（否定筆畫）表否定。
+<pre>
+|--------+----A
+         |
+</pre>
+表「非A」。
 [[category:邏輯學]]
 [[category:數學]]