| Property |
Value |
| dbo:abstract
|
- Der Satz von Herbrand ist ein Satz der mathematischen Logik, der 1930 vom französischen Logiker Jacques Herbrand publiziert wurde. Er macht eine Aussage darüber, wann eine prädikatenlogische Formel allgemeingültig oder erfüllbar ist und erlaubt eine Reduktion auf Allgemeingültigkeit oder Erfüllbarkeit in der Aussagenlogik. Der Satz besagt: Sei eine geschlossene prädikatenlogische Formel.Dann gibt es eine (aus berechenbare) quantorenfreie Formel , sodass gilt: ist eine Tautologie genau dann, wenn es variablenfreie Substitutionsinstanzen von gibt, sodass eine aussagenlogische Tautologie ist. (de)
- Der Satz von Herbrand ist ein Satz der mathematischen Logik, der 1930 vom französischen Logiker Jacques Herbrand publiziert wurde. Er macht eine Aussage darüber, wann eine prädikatenlogische Formel allgemeingültig oder erfüllbar ist und erlaubt eine Reduktion auf Allgemeingültigkeit oder Erfüllbarkeit in der Aussagenlogik. Der Satz besagt: Sei eine geschlossene prädikatenlogische Formel.Dann gibt es eine (aus berechenbare) quantorenfreie Formel , sodass gilt: ist eine Tautologie genau dann, wenn es variablenfreie Substitutionsinstanzen von gibt, sodass eine aussagenlogische Tautologie ist. (de)
|
| dbo:author
| |
| dbo:originalTitle
|
- Fundamentals of Mathematical Logic (de)
- Mathematical Logic (de)
- Recherches sur la theorie de la demonstration (de)
- Fundamentals of Mathematical Logic (de)
- Mathematical Logic (de)
- Recherches sur la theorie de la demonstration (de)
|
| dbo:wikiPageID
| |
| dbo:wikiPageRevisionID
| |
| prop-de:autor
|
- Peter G. Hinman
- Joseph R. Shoenfield
|
| prop-de:jahr
|
- 1930 (xsd:integer)
- 1967 (xsd:integer)
- 2005 (xsd:integer)
|
| prop-de:nummer
| |
| prop-de:sammelwerk
|
- Travaux de la Societe des Sciences et des Lettres de Varsovie, Class III, Sciences Mathematiques et Physiques
|
| dc:publisher
|
- A K Peters
- Addison-Wesley
|
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Der Satz von Herbrand ist ein Satz der mathematischen Logik, der 1930 vom französischen Logiker Jacques Herbrand publiziert wurde. Er macht eine Aussage darüber, wann eine prädikatenlogische Formel allgemeingültig oder erfüllbar ist und erlaubt eine Reduktion auf Allgemeingültigkeit oder Erfüllbarkeit in der Aussagenlogik. Der Satz besagt: Sei eine geschlossene prädikatenlogische Formel.Dann gibt es eine (aus berechenbare) quantorenfreie Formel , sodass gilt: ist eine Tautologie genau dann, wenn es variablenfreie Substitutionsinstanzen von gibt, sodass eine aussagenlogische Tautologie ist. (de)
- Der Satz von Herbrand ist ein Satz der mathematischen Logik, der 1930 vom französischen Logiker Jacques Herbrand publiziert wurde. Er macht eine Aussage darüber, wann eine prädikatenlogische Formel allgemeingültig oder erfüllbar ist und erlaubt eine Reduktion auf Allgemeingültigkeit oder Erfüllbarkeit in der Aussagenlogik. Der Satz besagt: Sei eine geschlossene prädikatenlogische Formel.Dann gibt es eine (aus berechenbare) quantorenfreie Formel , sodass gilt: ist eine Tautologie genau dann, wenn es variablenfreie Substitutionsinstanzen von gibt, sodass eine aussagenlogische Tautologie ist. (de)
|
| rdfs:label
|
- Satz von Herbrand (de)
- Satz von Herbrand (de)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is foaf:primaryTopic
of | |
