Technopedia Center
PMB University Brochure
Faculty of Engineering and Computer Science
S1 Informatics S1 Information Systems S1 Information Technology S1 Computer Engineering S1 Electrical Engineering S1 Civil Engineering

faculty of Economics and Business
S1 Management S1 Accountancy

Faculty of Letters and Educational Sciences
S1 English literature S1 English language education S1 Mathematics education S1 Sports Education
teknopedia

teknopedia

teknopedia

teknopedia

teknopedia
  • Registerasi
  • Brosur UTI
  • Kip Scholarship Information
  • Performance
  1. Weltenzyklopädie
  2. Korrektheit (Logik) – Wikipedia
Korrektheit (Logik) – Wikipedia
aus Wikipedia, der freien Enzyklopädie

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, soweit die Prämissen der Ableitung wahr sind.

In der formalen Logik wird Ableitbarkeit durch den syntaktischen Ableitungsoperator ⊢ {\displaystyle \vdash } {\displaystyle \vdash } und Schlussfolgern durch die semantische Folgerungsrelation ⊨ {\displaystyle \models } {\displaystyle \models } ausgedrückt: Ein Kalkül heißt korrekt, wenn für Aussagenmengen Σ {\displaystyle \Sigma } {\displaystyle \Sigma } und Ψ {\displaystyle \Psi } {\displaystyle \Psi } aus Σ ⊢ Ψ {\displaystyle \Sigma \vdash \Psi } {\displaystyle \Sigma \vdash \Psi } stets Σ ⊨ Ψ {\displaystyle \Sigma \models \Psi } {\displaystyle \Sigma \models \Psi } folgt. Die Semantik des Schließens wird modelltheoretisch definiert: Σ ⊨ Ψ {\displaystyle \Sigma \models \Psi } {\displaystyle \Sigma \models \Psi } gilt genau dann, wenn jedes Modell von Σ {\displaystyle \Sigma } {\displaystyle \Sigma } auch Modell von Ψ {\displaystyle \Psi } {\displaystyle \Psi } ist.

Für die Korrektheit eines Kalküls ist hinreichend, wenn jede einzelne Ableitungsregel gültig ist. In einem korrekten Kalkül, welcher zusätzlich ein gewähltes Modell richtig beschreibt, lässt sich keine Formel herleiten, die im gewählten Modell nicht wahr ist. Allerdings hilft ein korrekter Kalkül nicht weiter, wenn er das Modell durch Axiome falsch beschreibt (z. B. postuliere Σ {\displaystyle \Sigma } {\displaystyle \Sigma } für einen Kalkül der natürlichen Zahlen, dass die Null einen Vorgänger hat) oder inkonsistent ist (z. B. postuliere Σ {\displaystyle \Sigma } {\displaystyle \Sigma } für einen Kalkül der natürlichen Zahlen, dass die Null einen Vorgänger hat und keinen Vorgänger hat). Aus einem solchen korrekten Kalkül lassen sich Formeln herleiten, die im gewählten Modell nicht wahr sind.

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,[1] wohingegen der Vollständigkeitssatz schwieriger ist.

Siehe auch

[Bearbeiten | Quelltext bearbeiten]
  • Allgemeingültigkeit
  • Gültigkeit
  • Fehlschluss
  • Korrektheit (Informatik)

Quellen

[Bearbeiten | Quelltext bearbeiten]
  • Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Einführung in die mathematische Logik, 5. Aufl., Spektrum Akademischer Verlag; 2007, ISBN 978-3827416919
  • Hans-Peter Tuschik, Helmut Wolter: Mathematische Logik – kurzgefasst. Grundlagen, Modelltheorie, Entscheidbarkeit, Mengenlehre, BI-Wiss. Verlag, Mannheim-Leipzig-Wien-Zürich 1994, ISBN 3-411-16731-9.

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. ↑ Ebbinghaus, Einführung in die mathematische Logik, Mannheim-Leipzig-Wien-Zürich 1992, S. 74
Abgerufen von „https://de.teknopedia.teknokrat.ac.id/w/index.php?title=Korrektheit_(Logik)&oldid=244368693“
Kategorie:
  • Logik

  • indonesia
  • Polski
  • العربية
  • Deutsch
  • English
  • Español
  • Français
  • Italiano
  • مصرى
  • Nederlands
  • 日本語
  • Português
  • Sinugboanong Binisaya
  • Svenska
  • Українська
  • Tiếng Việt
  • Winaray
  • 中文
  • Русский
Sunting pranala
Pusat Layanan

UNIVERSITAS TEKNOKRAT INDONESIA | ASEAN's Best Private University
Jl. ZA. Pagar Alam No.9 -11, Labuhan Ratu, Kec. Kedaton, Kota Bandar Lampung, Lampung 35132
Phone: (0721) 702022
Email: pmb@teknokrat.ac.id