唯一量化
(重定向自有且仅有)
此条目需要补充更多来源. (2018年11月23日)
请协助补充多方面可靠来源以改善这篇条目,无法查证的内容可能会因为异议提出而移除.
致使用者:请搜索一下条目的标题(来源搜索:"唯一量化"  -  网页,新闻,书籍,学术,图像),以检查网络上是否存在该主题的更多可靠来源(判定指引).
在谓词逻辑和依赖于它的技术领域中,唯一量化或唯一存在量化,尝试形式化对于"精确"的一个事物,或对于精确的特定类型的一个事物为真的某个事物的概念.唯一量化的一般化是计数量化(英语:Counting quantification).
恰有一个自然数 x 使得 x - 2 = 4.
符号化写为:
∃!x ∈ N,