唯一量化
維基百科,自由的 encyclopedia
在謂詞邏輯和依賴於它的技術領域中,唯一量化或唯一存在量化,嘗試形式化對於「精確」的一個事物,或對於精確的特定類型的一個事物為真的某個事物的概念。唯一量化的一般化是計數量化(英語:Counting quantification)。
此條目需要補充更多來源。 (2018年11月23日) |
例如:
- 恰有一個自然數 x 使得 x - 2 = 4。
符號化寫為:
- ∃!x ∈ N, x - 2 = 4
符號 ∃! 叫做「唯一量詞」或「唯一存在量詞」。它通常被讀作「有且僅有一個」、「恰有一個」、「存在唯一一個」(存在著這個符號的在文法上和如何閱讀上的多個變體)。