2,617
次編輯
「形式邏輯筆記/第四章」修訂間的差異
跳至導覽
跳至搜尋
→定敘述(definite description)
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 148： | 行 148： | ||
**∃x(F x & ∃y (F y & x ≠ y) & B x) | **∃x(F x & ∃y (F y & x ≠ y) & B x) | ||
*美國最高的一座山峯（等高之山若有，怎辦？） | *美國最高的一座山峯（等高之山若有，怎辦？） | ||
{{ForAllX}} | |||
[[category:邏輯學]] | [[category:邏輯學]] | ||