About: Schlussregel (original) (raw)
An Entity of Type : Thing, from Named Graph : http://de.dbpedia.org, within Data Space : de.dbpedia.org
Eine Schlussregel (oder Inferenzregel) bezeichnet eine Transformationsregel (Umformungsregel) in einem Kalkül der formalen Logik, d. h. eine syntaktische Regel, nach der es erlaubt ist, von bestehenden Ausdrücken einer formalen Sprache zu neuen Ausdrücken überzugehen. Dieser regelgeleitete Übergang stellt eine Schlussfolgerung dar.
| Property | Value |
|---|---|
| dbo:abstract | Eine Schlussregel (oder Inferenzregel) bezeichnet eine Transformationsregel (Umformungsregel) in einem Kalkül der formalen Logik, d. h. eine syntaktische Regel, nach der es erlaubt ist, von bestehenden Ausdrücken einer formalen Sprache zu neuen Ausdrücken überzugehen. Dieser regelgeleitete Übergang stellt eine Schlussfolgerung dar. (de) |
| dbo:wikiPageID | 61939 (xsd:integer) |
| dbo:wikiPageRevisionID | 140389181 (xsd:integer) |
| dct:subject | category-de:Logik |
| rdfs:comment | Eine Schlussregel (oder Inferenzregel) bezeichnet eine Transformationsregel (Umformungsregel) in einem Kalkül der formalen Logik, d. h. eine syntaktische Regel, nach der es erlaubt ist, von bestehenden Ausdrücken einer formalen Sprache zu neuen Ausdrücken überzugehen. Dieser regelgeleitete Übergang stellt eine Schlussfolgerung dar. (de) |
| rdfs:label | Schlussregel (de) |
| owl:sameAs | dbr:Schlussregel wikidata:Schlussregel dbpedia-el:Schlussregel dbpedia-es:Schlussregel dbpedia-fr:Schlussregel dbpedia-it:Schlussregel dbpedia-ja:Schlussregel dbpedia-ko:Schlussregel dbpedia-nl:Schlussregel dbpedia-pl:Schlussregel dbpedia-pt:Schlussregel dbpedia-wikidata:Schlussregel freebase:Schlussregel |
| prov:wasDerivedFrom | wikipedia-de:Schlussregel?oldid=140389181 |
| foaf:isPrimaryTopicOf | wikipedia-de:Schlussregel |
| is dbo:wikiPageRedirects of | dbpedia-de:Folgerungsregel dbpedia-de:Inferenzregel dbpedia-de:Inferenzregeln |
| is foaf:primaryTopic of | wikipedia-de:Schlussregel |