Quantificação existencial
operador lógico ∃: Símbolo usado para denotar a quantificação existencial em lógica formal / De Wikipedia, a enciclopédia encyclopedia
Na lógica de predicados, um quantificador existencial é a predicação de uma propriedade ou relação para, pelo menos, um elemento do domínio. O operador lógico ∃ é usado para denotar a quantificação existencial.
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. (Março de 2019) |