Bounded quantifier
http://dbpedia.org/resource/Bounded_quantifier
In the study of formal theories in mathematical logic, bounded quantifiers (a.k.a. restricted quantifiers) are often included in a formal language in addition to the standard quantifiers "∀" and "∃". Bounded quantifiers differ from "∀" and "∃" in that bounded quantifiers restrict the range of the quantified variable. The study of bounded quantifiers is motivated by the fact that determining whether a sentence with only bounded quantifiers is true is often not as difficult as determining whether an arbitrary sentence is true.
rdf:langString
No estudo de teorias formais em lógica matemática, os quantificadores delimitados são muitas vezes adicionados para uma linguagem em adição aos quantificadores padrão "∀" e "∃". Quantificadores delimitados diferem de "∀" e "∃" em que os quantificadores delimitados restringem a gama da variável quantificada. O estudo de quantificadores delimitados é motivado pelo fato de determinar se uma sentença com apenas quantificadores delimitados é verdade, muitas vezes não é tão difícil quanto determinar se uma sentença arbitrária é verdade.
rdf:langString
rdf:langString
Bounded quantifier
rdf:langString
Quantificador Delimitado
xsd:integer
5824808
xsd:integer
1092880818
rdf:langString
In the study of formal theories in mathematical logic, bounded quantifiers (a.k.a. restricted quantifiers) are often included in a formal language in addition to the standard quantifiers "∀" and "∃". Bounded quantifiers differ from "∀" and "∃" in that bounded quantifiers restrict the range of the quantified variable. The study of bounded quantifiers is motivated by the fact that determining whether a sentence with only bounded quantifiers is true is often not as difficult as determining whether an arbitrary sentence is true.
rdf:langString
No estudo de teorias formais em lógica matemática, os quantificadores delimitados são muitas vezes adicionados para uma linguagem em adição aos quantificadores padrão "∀" e "∃". Quantificadores delimitados diferem de "∀" e "∃" em que os quantificadores delimitados restringem a gama da variável quantificada. O estudo de quantificadores delimitados é motivado pelo fato de determinar se uma sentença com apenas quantificadores delimitados é verdade, muitas vezes não é tão difícil quanto determinar se uma sentença arbitrária é verdade. Exemplos de quantificadores delimitados no contexto da análise real incluem "∀x> 0", "∃y <0", e "∀x ε ℝ". Informalmente "∀x> 0" diz "para todos os x, onde x é maior do que 0", "∃y <0" diz que "existe um y, onde y é menor que 0" e "∀x ε ℝ" diz "para todo x em que x é um número real ". Por exemplo, "∀x> 0 ∃y <0 (x = y²)", diz "cada número positivo é o quadrado de um número negativo".
xsd:nonNegativeInteger
6116