bn:27270368n
Noun Concept
Categories: Semântica, Lógica matemática
PT
quantificação universal  Para todo  Quantificacao universal  quantificador universal  quantificadores universais
PT
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. Wikipedia
Definitions
Relations
Sources
PT
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. Wikipedia