In mathematics and logic, the term "uniqueness" refers to the property of being the one and only object satisfying a certain condition. This sort of quantification is known as uniqueness quantification or unique existential quantification, and is often denoted with the symbols "∃!" or "∃=1". For example, the formal statement may be read as "there is exactly one natural number such that ".

Property Value
dbo:abstract
  • Kvantifikátor jednoznačné existence (∃!) je matematický symbol používaný nejčastěji v predikátové logice. Do běžného jazyka lze jeho význam přeložit jako existuje právě jedno. Nepatří mezi dva základní kvantifikátory – univerzální a existenční, lze ho pomocí nich vyjádřit. Také má na rozdíl od obou výše zmíněných kvantifikátorů smysl pouze v predikátové logice s rovností. (cs)
  • Eindeutigkeit ist eine Zuordnung, bei der ein Zeichen (zum Beispiel ein Wort, ein Satz) genau eine Bedeutung hat. Bei mehreren Bedeutungen liegt Mehrdeutigkeit vor, bei genau zwei Bedeutungen spricht man auch von Doppeldeutigkeit und bei unscharfer Bedeutung von Unschärfe (Sprache). Eindeutig sind auch soziale Situationen, die nicht oder kaum misszuverstehen sind – im Gegensatz zu Konfliktsituationen, deren Reizkonstellationen mehrdeutig zu nennen sind und deren Bearbeitung einer größeren Anstrengung bedarf, als es bei eindeutigen Situationen der Fall ist. Die Gestaltung wirklich eindeutiger Situationen aber ist ein schwieriges Unterfangen, da die Wahrnehmung und Verarbeitung der Reize durch unterschiedliche Individuen in der Regel voneinander verschieden ist und folglich wahrscheinlich auch als nicht eindeutig gewertet werden könnte. Insofern ist es im sozialen Zusammenhang sinnvoll, von mehr oder weniger eindeutigen Situationen zu sprechen. (de)
  • In mathematics and logic, the term "uniqueness" refers to the property of being the one and only object satisfying a certain condition. This sort of quantification is known as uniqueness quantification or unique existential quantification, and is often denoted with the symbols "∃!" or "∃=1". For example, the formal statement may be read as "there is exactly one natural number such that ". (en)
  • En mathématiques, l'unicité d'un objet satisfaisant certaines propriétés est le fait que tout objet satisfaisant les mêmes propriétés lui est égal. Autrement dit, il ne peut exister deux objets différents satisfaisant ces mêmes propriétés. Cependant, une démonstration de l'unicité ne suffit pas a priori pour en déduire l'existence de l'objet. La conjonction de l'existence et de l'unicité est usuellement notée à l'aide du quantificateur « ∃! ». L'unicité est parfois précisée « à équivalence près » pour une relation d'équivalence définie sur l'ensemble dans lequel l'objet est recherché. Cela signifie qu'il existe éventuellement plusieurs éléments de l'ensemble satisfaisant ces propriétés, mais qu'ils sont tous équivalents pour la relation mentionnée. De façon analogue, lorsque l'unicité porte sur une structure, elle est souvent précisée « à isomorphisme près » (voir l'article « Essentiellement unique »). ExempleDans un espace topologique séparé, on a unicité de la limite de toute suite : si une suite converge, sa limite est unique. Mais une suite peut ne pas avoir de limite (dans ce cas, on n'a pas existence de la limite, ce qui ne remet pas en cause l'unicité). (fr)
  • In matematica e logica, l'unicità di un elemento nel soddisfare una certa proprietà sta nel fatto che qualunque oggetto che soddisfi tale proprietà è uguale all'elemento di partenza. In altre parole, non possono esistere due elementi differenti che soddisfano questa proprietà. Tuttavia, dimostrare l'unicità di un elemento non è una condizione sufficiente per dedurre a priori l'esistenza dell'elemento. La frase "esiste uno e uno solo" è utilizzata per indicare che una certa proprietà esiste esattamente una volta. Il primo termine "uno" sta ad indicare l'esistenza, mentre il secondo l'unicità di tale proprietà. Il quantificatore di tale espressione è ("esiste ed è unico"). (it)
  • Uniciteit betekent in de wiskunde en logica dat een eigenschap voor precies één element van een verzameling geldt. De bijbehorende unieke existentiekwantor wordt genoteerd als . (nl)
  • Em matemática e lógica, a frase "existe um e somente um" é usado para indicar que exatamente um objeto com uma determinada propriedade existe. Em lógica matemática, este tipo de quantificação é conhecido como quantificação de singularidade ou quantificação existencial exclusivo Quantificação de Singularidade é muitas vezes identificados com os símbolos "∃!" ou ∃=1". Por exemplo, a declaração formal pode ser lido em voz alta como "há exatamente um número natural n tal que n − 2 = 4". (pt)
  • Еди́нственность — логическое суждение о необходимом тождестве объектов, удовлетворяющих заданному условию. При выполнении единственности объект, удовлетворяющий заданному условию, называется единственным. Как таковая, единственность не влечёт существование. В математике единственность элемента, удовлетворяющего условию P, понимается как , где ∧ — логическое «и», → — импликация, а = — равенство. Теоремы, утверждающие единственность, называются теоремами (о) единственности. С точки зрения теории множеств единственность — утверждение, что мощность множества не превосходит 1, откуда и название. Часто встречается связка «существование и единственность», обозначаемая в математике диграфом ∃! (квантор существования и единственности). С точки зрения теории множеств существование и единственность — утверждение, что мощность множества равна 1. Вне математики и формальной логики, под «единственностью», в порядке языковой небрежности, может подразумеваться именно существование и единственность. (ru)
  • Entydighet är inom matematiken en egenskap hos en ekvation som innebär att den bara har en lösning. Mer allmänt kan det innebära att endast ett element i en mängd har en viss egenskap. Ibland används uttrycket en och endast en (analogt med uttrycket om och endast om), eller exakt en lösning. Symbolen brukar användas för att indikera att det finns ett och endast ett element med en viss egenskap, exempelvis: som betyder att det endast finns ett naturligt tal som blir 4 då man subtraherar 2. Denna matematik-relaterade artikel saknar väsentlig information. Du kan hjälpa till genom att tillföra sådan. (sv)
  • У математиці та логіці, фраза «є один і тільки один», використовується, щоб вказати, що існує тільки один об'єкт з зазначеною властивістю. У математичній логіці, такий різновид квантору відомий як квантор унікальності або квантор єдиності. Єдиність часто позначається символами «∃!» або ∃=1". Наприклад, формальне твердження можна читати, як «є тільки одне натуральне число n , таке, що n — 2 = 4». (uk)
  • 在谓词逻辑和依赖于它的技术领域中,唯一量化或唯一存在量化,尝试对于“精确”的一个事物,或对于精确的特定类型的一个事物为真的某个事物的概念。唯一量化的一般化是。 例如: 恰有一个自然数 x 使得 x - 2 = 4。 符号化写为: ∃!x ∈ N, x - 2 = 4 符号 ∃! 叫做“唯一量词”或“唯一存在量词”。它通常被读作“有且仅有一个”、“恰有一个”、“存在唯一一个”(存在着这个符号的在文法上和如何阅读上的多个变体)。 (zh)
dbo:wikiPageID
  • 276894 (xsd:integer)
dbo:wikiPageLength
  • 5555 (xsd:integer)
dbo:wikiPageRevisionID
  • 979586780 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • Kvantifikátor jednoznačné existence (∃!) je matematický symbol používaný nejčastěji v predikátové logice. Do běžného jazyka lze jeho význam přeložit jako existuje právě jedno. Nepatří mezi dva základní kvantifikátory – univerzální a existenční, lze ho pomocí nich vyjádřit. Také má na rozdíl od obou výše zmíněných kvantifikátorů smysl pouze v predikátové logice s rovností. (cs)
  • In mathematics and logic, the term "uniqueness" refers to the property of being the one and only object satisfying a certain condition. This sort of quantification is known as uniqueness quantification or unique existential quantification, and is often denoted with the symbols "∃!" or "∃=1". For example, the formal statement may be read as "there is exactly one natural number such that ". (en)
  • Uniciteit betekent in de wiskunde en logica dat een eigenschap voor precies één element van een verzameling geldt. De bijbehorende unieke existentiekwantor wordt genoteerd als . (nl)
  • Em matemática e lógica, a frase "existe um e somente um" é usado para indicar que exatamente um objeto com uma determinada propriedade existe. Em lógica matemática, este tipo de quantificação é conhecido como quantificação de singularidade ou quantificação existencial exclusivo Quantificação de Singularidade é muitas vezes identificados com os símbolos "∃!" ou ∃=1". Por exemplo, a declaração formal pode ser lido em voz alta como "há exatamente um número natural n tal que n − 2 = 4". (pt)
  • У математиці та логіці, фраза «є один і тільки один», використовується, щоб вказати, що існує тільки один об'єкт з зазначеною властивістю. У математичній логіці, такий різновид квантору відомий як квантор унікальності або квантор єдиності. Єдиність часто позначається символами «∃!» або ∃=1". Наприклад, формальне твердження можна читати, як «є тільки одне натуральне число n , таке, що n — 2 = 4». (uk)
  • 在谓词逻辑和依赖于它的技术领域中,唯一量化或唯一存在量化,尝试对于“精确”的一个事物,或对于精确的特定类型的一个事物为真的某个事物的概念。唯一量化的一般化是。 例如: 恰有一个自然数 x 使得 x - 2 = 4。 符号化写为: ∃!x ∈ N, x - 2 = 4 符号 ∃! 叫做“唯一量词”或“唯一存在量词”。它通常被读作“有且仅有一个”、“恰有一个”、“存在唯一一个”(存在着这个符号的在文法上和如何阅读上的多个变体)。 (zh)
  • Eindeutigkeit ist eine Zuordnung, bei der ein Zeichen (zum Beispiel ein Wort, ein Satz) genau eine Bedeutung hat. Bei mehreren Bedeutungen liegt Mehrdeutigkeit vor, bei genau zwei Bedeutungen spricht man auch von Doppeldeutigkeit und bei unscharfer Bedeutung von Unschärfe (Sprache). (de)
  • En mathématiques, l'unicité d'un objet satisfaisant certaines propriétés est le fait que tout objet satisfaisant les mêmes propriétés lui est égal. Autrement dit, il ne peut exister deux objets différents satisfaisant ces mêmes propriétés. Cependant, une démonstration de l'unicité ne suffit pas a priori pour en déduire l'existence de l'objet. La conjonction de l'existence et de l'unicité est usuellement notée à l'aide du quantificateur « ∃! ». (fr)
  • In matematica e logica, l'unicità di un elemento nel soddisfare una certa proprietà sta nel fatto che qualunque oggetto che soddisfi tale proprietà è uguale all'elemento di partenza. In altre parole, non possono esistere due elementi differenti che soddisfano questa proprietà. Tuttavia, dimostrare l'unicità di un elemento non è una condizione sufficiente per dedurre a priori l'esistenza dell'elemento. (it)
  • Еди́нственность — логическое суждение о необходимом тождестве объектов, удовлетворяющих заданному условию. При выполнении единственности объект, удовлетворяющий заданному условию, называется единственным. Как таковая, единственность не влечёт существование. В математике единственность элемента, удовлетворяющего условию P, понимается как , где ∧ — логическое «и», → — импликация, а = — равенство. Теоремы, утверждающие единственность, называются теоремами (о) единственности. С точки зрения теории множеств единственность — утверждение, что мощность множества не превосходит 1, откуда и название. (ru)
  • Entydighet är inom matematiken en egenskap hos en ekvation som innebär att den bara har en lösning. Mer allmänt kan det innebära att endast ett element i en mängd har en viss egenskap. Ibland används uttrycket en och endast en (analogt med uttrycket om och endast om), eller exakt en lösning. Symbolen brukar användas för att indikera att det finns ett och endast ett element med en viss egenskap, exempelvis: som betyder att det endast finns ett naturligt tal som blir 4 då man subtraherar 2. (sv)
rdfs:label
  • Kvantifikátor jednoznačné existence (cs)
  • Eindeutigkeit (de)
  • Unicité (mathématiques) (fr)
  • Uniqueness quantification (en)
  • Unicità (it)
  • Uniciteit (nl)
  • Quantificação de singularidade (pt)
  • Единственность (ru)
  • Entydighet (sv)
  • Єдиність (uk)
  • 唯一量化 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of