| dbo:abstract
|
- In mathematical logic, the rules of passage govern how quantifiers distribute over the basic logical connectives of first-order logic. The rules of passage govern the "passage" (translation) from any formula of first-order logic to the equivalent formula in prenex normal form, and vice versa. (en)
- Na lógica matemática, as regras de tradução ditam como os quantificadores se distribuem através dos conectivos lógicos básicos da lógica de primeira ordem. As regras de tradução determinam como qualquer fórmula da lógica de primeira ordem podem ser transformadas na forma normal prenex, e vice-versa. Tais regras tem origem de escritos do francês Jacques Herbrand. (pt)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2366 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdfs:comment
|
- In mathematical logic, the rules of passage govern how quantifiers distribute over the basic logical connectives of first-order logic. The rules of passage govern the "passage" (translation) from any formula of first-order logic to the equivalent formula in prenex normal form, and vice versa. (en)
- Na lógica matemática, as regras de tradução ditam como os quantificadores se distribuem através dos conectivos lógicos básicos da lógica de primeira ordem. As regras de tradução determinam como qualquer fórmula da lógica de primeira ordem podem ser transformadas na forma normal prenex, e vice-versa. Tais regras tem origem de escritos do francês Jacques Herbrand. (pt)
|
| rdfs:label
|
- Rules of passage (logic) (en)
- Regras de tradução lógica (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
