唯一量化
Sign in to saveAlso known as uniqueness, unique existential quantification
logical quantification stating that a statement holds for exactly one object
In the Vinony graph
Vinony's link graph records 364 inbound references to 唯一量化, and connects out to existential quantification, semantic theory of truth and mathematical logic.
Vinony files it under 1 (number), Mathematical terminology and Quantifier (logic).
Vinony links it to 20 Wikipedia language editions.
Wikidata facts
- Subclass of
- existential quantification
Show 2 more facts
- maintained by WikiProject
- WikiProject Mathematics
- notation
- exclamation mark
Sources (1)
via Wikidata · CC0
Article · 中文
在谓词逻辑和依赖于它的技术领域中，唯一量化或唯一存在量化，尝试对于“精确”的一个事物，或对于精确的特定类型的一个事物为真的某个事物的概念。唯一量化的一般化是。 例如: 恰有一个自然数 x 使得 x - 2 = 4。 符号化写为: ∃!x ∈ N, x - 2 = 4 符号 ∃! 叫做“唯一量词”或“唯一存在量词”。它通常被读作“有且仅有一个”、“恰有一个”、“存在唯一一个”（存在着这个符号的在文法上和如何阅读上的多个变体）。
Abstract from DBpedia / Wikipedia · CC BY-SA
Available in 20 languages
- Français
- Deutsch
- 中文
- 日本語
- Русский
- Português
- Italiano
- Bahasa Indonesia
- Chuvash
- Czech
- Hebrew
- Nederlands
- Norwegian Nynorsk
- Svenska
- Tiếng Việt
- Türkçe
- Ukrainian
- فارسی
Show 1 more
via Wikidata sitelinks · CC0
Connections
existential quantification
Entity
semantic theory of truth
Entity
mathematical logic
Entity
first-order logic
Entity
formal system
Entity
universal quantification
Entity
recursive set
Entity
semantics of logic
Entity
structure
Entity
ground expression
Entity
diagram
Entity
mathematics
Entity
logic
Entity
International Standard Book Number
Entity
set theory
Entity
function
Entity
set
Entity
axiom
Entity
theorem
Entity
Elements
Entity