「形式邏輯筆記/第四章」修訂間的差異

形式邏輯筆記/第四章 (檢視原始碼)

增加 1,219 位元組、 2022年6月12日 (日) 16:54

2,735

次編輯

@@ 行 110： / 行 110： @@
 推論：
-*L w
+*A w
-*
+*∀x(A x →B x)
-*
+*∴B x
+接下來比較瑣碎，主要是如何小心選擇論域、代名詞翻譯法、量詞的作用域需要注意、含糊謂詞。
+注意：
+*(∃x G x) → G l = ∀x( G x → G l)
+*(∀x G x) → G l = ∃x( G x → G l)
+但
+*∃x G x & G l = ∃x (G x & G l)
+*∀x G x & G l = ∀x (G x & G l)
+==4.5 QL的句子==
+符號分成：謂詞、常數、變數、連接詞、括號、量化詞，以及由符號組成的表達式。
+wff (well-formated formula)不是命題。
+L z z ，是 wff，但無法判定真假，所以不是命題。
+bound variable：取決於變數的作用域。
+命題是 wff，且不含自由變數。
+==4.6同一性 (identity)==
+= 和≠
+∀x (¬(x = p) → O x p)，對於所有的 x 不等於 p 時，O x p。
+a≠b 即¬(a = b)
+*量化數量，係用多個存在量詞、（不）等號和變數來表達「至少一個，至少兩個，只有一個」
+===定敘述(definite description)===
+* 量化邏輯的常數必須是指UD的部分成員
+**Chimera問題
+*句子有定敘述和有專有名詞的邏輯結構不同。
+*當今的法國國王是禿頭
+**∃x(F x & ∃y (F y & x ≠ y) & B x)
+*美國最高的一座山峯（等高之山若有，怎辦？）
 [[category:邏輯學]]