Skip to content
EntityQ2502253· pop 20· linked from 364 articles

quantificação de singularidade

Sign in to save

Also known as uniqueness, unique existential quantification

logical quantification stating that a statement holds for exactly one object

Wikidata facts

Show 2 more facts
maintained by WikiProject
WikiProject Mathematics
Sources (1)

via Wikidata · CC0

Article · Português

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".

Abstract from DBpedia / Wikipedia · CC BY-SA