quantificação universal
Sign in to saveAlso known as for every, for all, given any, for any, any
logical quantification stating that a statement holds for all objects
Wikidata facts
- Subclass of
- quantifier
- Image
- Universal-quantification.svg
Show 4 more facts
- opposite of
- existential quantification
- Commons category
- Universal quantification
- maintained by WikiProject
- WikiProject Mathematics
- studied by
- logic
Sources (1)
via Wikidata · CC0
Article · Português
Na lógica de predicados, a quantificação universal é uma formalização da noção de que algumas coisas são verdadeiras para todas as coisas, ou para todas as coisas relevantes. O resultado é uma afirmação universalmente quantificada. Em símbolos lógicos, o quantificador universal (usualmente ∀) é o símbolo usado para denotar o universo de quantificação, informalmente lido como "para todo".
Abstract from DBpedia / Wikipedia · CC BY-SA