About: Quantifier rank

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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.

Property Value
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
dbo:wikiPageID
  • 35975525 (xsd:integer)
dbo:wikiPageLength
  • 3325 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1116579905 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
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
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy