Aussagenkalkül

Ein Aussagenkalkül ist ein Kalkül für die Aussagenlogik. Er leitet aus einer gegebenen Menge von Aussagen neue Aussagen her, die aus den gegebenen Aussagen aussagenlogisch folgen. Allgemein werden die Aussagen, aus denen hergeleitet wird, Prämissen genannt; die hergeleiteten Aussagen werden Konklusionen genannt. Die Herleitung einer Konklusion aus einer Menge von Prämissen wird als Argument bezeichnet.

Prinzipiell wird unterschieden:

  • Semantische Gültigkeit (Folgerung): Für die klassische Aussagenlogik ist semantische Gültigkeit folgendermaßen definiert: Ein Argument ist genau dann semantisch gültig, wenn unter der Voraussetzung, dass alle Prämissen wahr sind, auch die Konklusion wahr ist.
  • Syntaktische Gültigkeit (Herleitung): Ein Argument ist genau dann syntaktisch gültig, wenn sich die Konklusion mit Hilfe der Axiome und Schlussregeln des gewählten Aussagenkalküls aus den Prämissen herleiten lässt.

Ein Kalkül ist korrekt, wenn in ihm nur Folgerungen ableitbar sind. Ein Kalkül ist vollständig, wenn in ihm alle Folgerungen ableitbar sind. Für die klassische Aussagenlogik lassen sich Kalküle angeben, die korrekt und vollständig sind.

Verschiedene Aussagenkalküle sind zudem Entscheidungsverfahren für die Gültigkeit von Argumenten, das heißt, sie erlauben es, für jedes beliebige Argument innerhalb endlicher Zeit festzustellen, ob das Argument gültig ist oder nicht. Aussagenkalküle, die Entscheidungsverfahren sind, sind zum Beispiel der aussagenlogische Baumkalkül oder der aussagenlogische Resolutionskalkül.

Konkrete Aussagenkalküle sind in folgenden Artikeln angegeben:


Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Iwan Iwanowitsch Schegalkin — (Иван Иванович Жегалкин; wiss. Transliteration Ivan Ivanovič Žegalkin) (* 22. Julijul./ 3. August 1869greg. in Mzensk; † 28. März 1947 in Moskau ) war ein russischer Logiker und Mathematiker. Schegalkin war von 1902 bis 1911 Dozent …   Deutsch Wikipedia

  • Berechnungsmodell — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Dabei werden Artikel gelöscht, die nicht… …   Deutsch Wikipedia

  • Folgerungsregel — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung …   Deutsch Wikipedia

  • Inferenzregel — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung …   Deutsch Wikipedia

  • Inferenzregeln — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung …   Deutsch Wikipedia

  • Kalküle — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Dabei werden Artikel gelöscht, die nicht… …   Deutsch Wikipedia

  • Liste von Mathematikern — Diese Liste bedeutender Mathematiker stellt eine Auswahl von Mathematikern von der Antike bis zu Gegenwart dar. Die Auswahl der Mathematiker richtet sich dabei nach ihren wissenschaftlichen Leistungen oder ihrem Bekanntheitsgrad, aufgrund deren… …   Deutsch Wikipedia

  • Kurt Gödel — Para el lenguaje de programación, véase Gödel (lenguaje de programación). Kurt Gödel Kurt Gödel Nacimiento 28 de abril …   Wikipedia Español

  • Kalkül — längerfristig ausgerichtetes Handeln; Masterplan; Plan; Strategie; Schlachtplan (umgangssprachlich); Überlegung; Berechnung * * * Kal|kül I 〈m. 1 oder n …   Universal-Lexikon

  • Минимальная логика —         логическая система, являющаяся ослаблением интуиционистской логики (См. Интуиционистская логика) и конструктивной логики (См. Конструктивная логика) за счёт исключения из числа постулатов формулы ⌉А ⊃ (А ⊃ В) (интерпретируемой как «из… …   Большая советская энциклопедия

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”