2,619
次編輯
「形式邏輯筆記/第五章」修訂間的差異
跳至導覽
跳至搜尋
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 74： | 行 74： | ||
*集合：{a, b, c, ...}，內容元素不要求順序，空集合寫為∅。 | *集合：{a, b, c, ...}，內容元素不要求順序，空集合寫為∅。 | ||
*模型 | |||
**包含常數的指涉（函數）、論域、以及謂詞的外延（枚舉）。類似這樣的形式（其中論域是 UD、謂詞是 H、常數是 f）： | |||
***UD = {臺北、新北、桃園、台中、臺南、高雄} | |||
***extension(H) = {臺北, 新北, 桃園}#註：H指在北臺灣 | |||
***f = {臺南} | |||
**不需用知道臺灣地理知識就可以推估說 H f 是真的還是假的。 | |||
[[category:邏輯學]] | [[category:邏輯學]] | ||