Property |
Value |
dbo:abstract
|
- In der Prädikatenlogik ist die Matrix einer Formel diejenige Formel, die man durch Streichen sämtlicher Quantoren aus erhält. Der Begriff wird vor allem im Zusammenhang mit der Pränexform verwendet, bei der sämtliche Quantoren am Anfang der Formel stehen. (de)
- In der Prädikatenlogik ist die Matrix einer Formel diejenige Formel, die man durch Streichen sämtlicher Quantoren aus erhält. Der Begriff wird vor allem im Zusammenhang mit der Pränexform verwendet, bei der sämtliche Quantoren am Anfang der Formel stehen. (de)
|
dbo:wikiPageID
| |
dbo:wikiPageRevisionID
| |
dct:subject
| |
rdfs:comment
|
- In der Prädikatenlogik ist die Matrix einer Formel diejenige Formel, die man durch Streichen sämtlicher Quantoren aus erhält. Der Begriff wird vor allem im Zusammenhang mit der Pränexform verwendet, bei der sämtliche Quantoren am Anfang der Formel stehen. (de)
- In der Prädikatenlogik ist die Matrix einer Formel diejenige Formel, die man durch Streichen sämtlicher Quantoren aus erhält. Der Begriff wird vor allem im Zusammenhang mit der Pränexform verwendet, bei der sämtliche Quantoren am Anfang der Formel stehen. (de)
|
rdfs:label
|
- Matrix (Logik) (de)
- Matrix (Logik) (de)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageDisambiguates
of | |
is foaf:primaryTopic
of | |