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

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

增加 448 位元組、 2022年7月3日 (日) 12:45

2,617

次編輯

@@ 行 75： / 行 75： @@
 *模型
-**包含常數的指涉（函數）、論域、以及謂詞的外延（枚舉）。類似這樣的形式（其中論域是 UD、謂詞是 H、常數是 f）：
+**包含常數的指涉（函數）、論域 UD、以及謂詞的外延（extension，是枚舉）。類似這樣的形式（其中論域是 UD、謂詞是 H、常數是 f）：
 ***UD = {臺北、新北、桃園、台中、臺南、高雄}
 ***extension(H) = {臺北, 新北, 桃園}#註：H指在北臺灣
 ***f = {臺南}
 **不需用知道臺灣地理知識就可以推估說 H f 是真的還是假的。
+***第二個模型
+***UD = {1,2,...,10}
+***N x = N 是負數
+**** extension(N) = {}
+***L x y = x 大於 y
+****這需要用「有序tuple」(ordered tuple)的概念
+****extension(L) = {<10,9>, <10, 8>, ..., <2,1>}
+==5.3 同一性的語義==
+*x = y 是謂詞，所有的 UD 的 item 都滿足
+*∀x x = x 是全真句。
+* x = y 的 UD 隨模型而異。
+* (referent(a) = referent(b)) →(P a = P b, Q a = Q b, ∀ x R x a = R x b)
 [[category:邏輯學]]