2,619
次編輯
「形式邏輯筆記/第五章」修訂間的差異
跳至導覽
跳至搜尋
→5.3 同一性的語義
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 93： | 行 93： | ||
* x = y 的 UD 隨模型而異。 | * x = y 的 UD 隨模型而異。 | ||
* (referent(a) = referent(b)) →(P a = P b, Q a = Q b, ∀ x R x a = R x b) | * (referent(a) = referent(b)) →(P a = P b, Q a = Q b, ∀ x R x a = R x b) | ||
* 假設有個模型： | |||
** UD = {Alice, Bob} | |||
** referent(a) = Alice | |||
** referent(b) = Bob | |||
** for all predicate P, extension(P) = {} | |||
** 因為對於所有的 P，P a 是 false，P b 是 false，¬P a <-> ¬P b 為真，所以 P a <-> P b 為真。 | |||
**但 a ≠ b。 | |||
==5.4 處理模型== | |||
*QL 的下列三式定義： | |||
** 全真句：任何模型均爲真，⊨C | |||
** 矛盾句：任何模型均爲假，⊨¬C | |||
** 非全真句：不是全真句且不是矛盾句 | |||
** argument <math>P_1, P_2, ..., P_n, \therefore C</math> 有效 (valid)↔{<math>P_1, P_2, ..., P_n \model C</math>}。否則 invalid。 | |||
** A, B 邏輯等同↔A⊨B且B⊨A。 | |||
** 集合{A, B, ...} 具邏輯一致性↔至少有一個模型使得所有命題為真。否則為不一致性。 | |||
[[category:邏輯學]] | [[category:邏輯學]] | ||