| dbo:abstract |
In mathematical logic, the quantifier rank of a formula is the depth of nesting of its quantifiers. It plays an essential role in model theory. Notice that the quantifier rank is a property of the formula itself (i.e. the expression in a language). Thus two logically equivalent formulae can have different quantifier ranks, when they express the same thing in different ways. (en) Na lógica matemática, o posto de quantificadores de uma fórmula é a profundidade do aninhamento de seus quantificadores, desempenhando um papel essencial na teoria de modelos. Note que o posto de quantificadores é uma propriedade da própria fórmula (como a expressão em uma linguagem). Assim, duas fórmulas equivalentes podem ter diferentes postos, quando elas expressam duas coisas iguais porém de maneira diferente. (pt) |
| dbo:wikiPageExternalLink |
https://web.archive.org/web/20100704135152/http:/www.math.upenn.edu/%7Enate/papers/thesis/thesis.pdf |
| dbo:wikiPageID |
35975525 (xsd:integer) |
| dbo:wikiPageLength |
3325 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1116579905 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Model_theory dbc:Finite_model_theory dbr:Mathematical_logic dbr:Prenex_normal_form dbc:Quantifier_(logic) dbr:Springer_Publishing dbr:First-order_logic dbr:Logical_equivalence dbr:First-order_language dbr:Quantifier_(logic) dbc:Predicate_logic dbc:Model_theory dbr:Springer-Verlag dbr:Fixpoint_logic dbr:Ehrenfeucht_game dbr:Formula_(mathematical_logic) |
| dbp:wikiPageUsesTemplate |
dbt:Citation dbt:Mathematical_logic dbt:Mathlogic-stub |
| dct:subject |
dbc:Finite_model_theory dbc:Quantifier_(logic) dbc:Predicate_logic dbc:Model_theory |
| gold:hypernym |
dbr:Depth |
| rdfs:comment |
In mathematical logic, the quantifier rank of a formula is the depth of nesting of its quantifiers. It plays an essential role in model theory. Notice that the quantifier rank is a property of the formula itself (i.e. the expression in a language). Thus two logically equivalent formulae can have different quantifier ranks, when they express the same thing in different ways. (en) Na lógica matemática, o posto de quantificadores de uma fórmula é a profundidade do aninhamento de seus quantificadores, desempenhando um papel essencial na teoria de modelos. Note que o posto de quantificadores é uma propriedade da própria fórmula (como a expressão em uma linguagem). Assim, duas fórmulas equivalentes podem ter diferentes postos, quando elas expressam duas coisas iguais porém de maneira diferente. (pt) |
| rdfs:label |
Quantifier rank (en) Posto de quantificadores (pt) |
| owl:sameAs |
freebase:Quantifier rank wikidata:Quantifier rank dbpedia-pt:Quantifier rank https://global.dbpedia.org/id/4tRwu |
| prov:wasDerivedFrom |
wikipedia-en:Quantifier_rank?oldid=1116579905&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Quantifier_rank |
| is dbo:wikiPageWikiLink of |
dbr:Peano_axioms dbr:Logic_of_graphs dbr:Quantifier_(logic) dbr:Finite_model_theory |
| is foaf:primaryTopic of |
wikipedia-en:Quantifier_rank |