Quantificação de singularidade
De Wikipedia, a enciclopédia encyclopedia
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
Este artigo ou secção contém uma lista de referências no fim do texto, mas as suas fontes não são claras porque não são citadas no corpo do artigo, o que compromete a confiabilidade das informações. (Junho de 2017) |
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".