This HTML5 document contains 22 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Subject Item

n2:

rdfs:label

Korrektheit (Logik)

rdfs:comment

Korrektheit (englisch soundness) ist eine wichtige Eigenschaft formaler Systeme oder Kalküle und betrifft den Zusammenhang zwischen Syntax und Semantik, der umgangssprachlich lautet: Was formal ableitbar ist, ist auch wahr (innerhalb der gegebenen Semantik). In der formalen Logik wird Ableitbarkeit durch den syntaktischen Ableitungsoperator und Schlussfolgern durch die semantischen Folgerungsrelation ausgedrückt: Ein Kalkül heißt korrekt, wenn für Aussagenmengen und aus stets folgt. Die Semantik des Schließens wird modelltheoretisch definiert. gilt genau dann, wenn jedes Modell von , auch Modell von

owl:sameAs

dbr:Soundness n10: dbpedia-wikidata:Q693083 n12: dbpedia-ja:健全性 n14: dbpedia-es:Solidez dbpedia-pt:Correção n19:06njx dbpedia-ko:건전성_정리 wikidata:Q693083

dct:subject

category-de:Logik

foaf:isPrimaryTopicOf

n5:

dbo:wikiPageID

428647

dbo:wikiPageRevisionID

133189822

prov:wasDerivedFrom

n21:133189822

dbo:abstract

Korrektheit (englisch soundness) ist eine wichtige Eigenschaft formaler Systeme oder Kalküle und betrifft den Zusammenhang zwischen Syntax und Semantik, der umgangssprachlich lautet: Was formal ableitbar ist, ist auch wahr (innerhalb der gegebenen Semantik). In der formalen Logik wird Ableitbarkeit durch den syntaktischen Ableitungsoperator und Schlussfolgern durch die semantischen Folgerungsrelation ausgedrückt: Ein Kalkül heißt korrekt, wenn für Aussagenmengen und aus stets folgt. Die Semantik des Schließens wird modelltheoretisch definiert. gilt genau dann, wenn jedes Modell von , auch Modell von ist. Für die Korrektheit eines Kalküls ist hinreichend, wenn jede einzelne Ableitungsregel schlüssig ist. In einem korrekten Kalkül lässt sich keine Formel herleiten, die im gewählten Modell nicht wahr ist. Das Gegenstück zur Korrektheit ist die Vollständigkeit eines formalen Systems. Sie besagt: Was semantisch richtig ist, lässt sich auch ableiten. Vollständigkeitssätze sind meist weitaus schwieriger zu beweisen als Korrektheitssätze; so bereitet der Beweis für die Korrektheit des Sequenzenkalküls der Prädikatenlogik keine Probleme, während der Vollständigkeitssatz schwieriger ist.

Subject Item

dbpedia-de:Korrektheit

dbo:wikiPageDisambiguates

n2:

Subject Item

dbpedia-de:Soundness

dbo:wikiPageRedirects

n2:

Subject Item

n5:

foaf:primaryTopic

n2: