唯一量化
维基百科,自由的 encyclopedia
在谓词逻辑和依赖于它的技术领域中,唯一量化或唯一存在量化,尝试形式化对于“精确”的一个事物,或对于精确的特定类型的一个事物为真的某个事物的概念。唯一量化的一般化是计数量化(英语:Counting quantification)。
此条目需要补充更多来源。 (2018年11月23日) |
例如:
- 恰有一个自然数 x 使得 x - 2 = 4。
符号化写为:
- ∃!x ∈ N, x - 2 = 4
符号 ∃! 叫做“唯一量词”或“唯一存在量词”。它通常被读作“有且仅有一个”、“恰有一个”、“存在唯一一个”(存在着这个符号的在文法上和如何阅读上的多个变体)。