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

跳至導覽 跳至搜尋
增加 1,219 位元組 、 2022年6月12日 (日) 16:54
行 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:邏輯學]]
[[category:邏輯學]]

導覽選單