| dbo:abstract
|
- 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. (en)
- 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". (pt)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 6116 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdfs:comment
|
- 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. (en)
- 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. (pt)
|
| rdfs:label
|
- Bounded quantifier (en)
- Quantificador Delimitado (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
