| Property |
Value |
| dbo:abstract
|
- Negationstreu (engl.: negation complete) ist eine Eigenschaft von Folgen von prädikatenlogischen Ausdrücken. Diese Eigenschaft wird - in Verwechslungsgefahr zu andersgemeinten Begriffen der Vollständigkeit - auch syntaktisch vollständig (in der englischsprachigen Literatur auch syntactically complete, deductively complete or maximally complete) genannt. Definition: Eine Menge von prädikatenlogischen Ausdrücken heißt negationstreu, wenn für jeden beliebigen Ausdruck gilt: oder . Man kann es auch anders ausdrücken: Ein formales System, gegeben durch die Axiomenmenge , ist negationstreu oder syntaktisch vollständig, wenn jedes weitere Axiom, das nicht selbst schon aus ableitbar ist, zu einem Widerspruch führt. (de)
- Negationstreu (engl.: negation complete) ist eine Eigenschaft von Folgen von prädikatenlogischen Ausdrücken. Diese Eigenschaft wird - in Verwechslungsgefahr zu andersgemeinten Begriffen der Vollständigkeit - auch syntaktisch vollständig (in der englischsprachigen Literatur auch syntactically complete, deductively complete or maximally complete) genannt. Definition: Eine Menge von prädikatenlogischen Ausdrücken heißt negationstreu, wenn für jeden beliebigen Ausdruck gilt: oder . Man kann es auch anders ausdrücken: Ein formales System, gegeben durch die Axiomenmenge , ist negationstreu oder syntaktisch vollständig, wenn jedes weitere Axiom, das nicht selbst schon aus ableitbar ist, zu einem Widerspruch führt. (de)
|
| dbo:wikiPageID
| |
| dbo:wikiPageRevisionID
| |
| dct:subject
| |
| rdfs:comment
|
- Negationstreu (engl.: negation complete) ist eine Eigenschaft von Folgen von prädikatenlogischen Ausdrücken. Diese Eigenschaft wird - in Verwechslungsgefahr zu andersgemeinten Begriffen der Vollständigkeit - auch syntaktisch vollständig (in der englischsprachigen Literatur auch syntactically complete, deductively complete or maximally complete) genannt. Definition: Eine Menge von prädikatenlogischen Ausdrücken heißt negationstreu, wenn für jeden beliebigen Ausdruck gilt: oder . Man kann es auch anders ausdrücken: Ein formales System, gegeben durch die Axiomenmenge (de)
- Negationstreu (engl.: negation complete) ist eine Eigenschaft von Folgen von prädikatenlogischen Ausdrücken. Diese Eigenschaft wird - in Verwechslungsgefahr zu andersgemeinten Begriffen der Vollständigkeit - auch syntaktisch vollständig (in der englischsprachigen Literatur auch syntactically complete, deductively complete or maximally complete) genannt. Definition: Eine Menge von prädikatenlogischen Ausdrücken heißt negationstreu, wenn für jeden beliebigen Ausdruck gilt: oder . Man kann es auch anders ausdrücken: Ein formales System, gegeben durch die Axiomenmenge (de)
|
| rdfs:label
|
- Negationstreu (de)
- Negationstreu (de)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is foaf:primaryTopic
of | |
