Toggle menu
Toggle personal menu
Not logged in
Your IP address will be publicly visible if you make any edits.

Belegung (Logik)

From Wickepedia

Im Rahmen der Interpretation formaler Systeme ist eine Belegung

Aussagenlogik

In der Aussagenlogik ist eine Belegung definiert als eine Abbildung der Menge der Aussagevariablen auf die Menge . Es wird also jeder Aussagevariable ein Wahrheitswert zugeordnet.[2]

Die Anwendung dieser Abbildung auf ganze Formeln ist durch die rekursive Definition von auf der ganzen Formelmenge der booleschen Formeln möglich.

mit

Diese Definition ist hier Beispielhaft für die logische Signatur aufgeführt. Wenn die Signatur noch andere Junktoren enthält, so muss die Definition erweitert werden.

Damit ist gewährleistet, dass eine ganze Formel verarbeiten kann. Auf der untersten Ebene werden jedoch immer noch den einzelnen Aussagevariablen diskrete Werte zugewiesen. Belegt man nun eine solche Formel, so ist es möglich für sie eine zu der Belegung korrespondierenden gesamten Wahrheitswert für die ganze Formel zu ermitteln.

Die Menge aller Belegungen einer Formel wird meistens mit Hilfe einer Wertetabelle dargestellt.

1 0 0 0
2 0 0 1
n 1 1 1

() bezieht sich dabei auf die entsprechende Zeile, die die Belegung der einzelnen, in vorkommenden, Variablen widerspiegelt. Auf Grundlage diese Belegung werden in der Logik noch weiterführend Begriffe wie die Tautologie aufgebaut.

Prädikatenlogik

Die Variablen der Struktur seien . Eine Belegung wird z. B. durch die Funktion für gegeben.

Literatur

  • Hans-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Einführung in die mathematische Logik. 4. Auflage. Spektrum Akademischer Verlag, Heidelberg 1996, ISBN 3-8274-1691-4.
  • Wolfgang Rautenberg: Einführung in die mathematische Logik. 3. Auflage. Vieweg+Teuber, Berlin 2008, ISBN 978-3-8348-0578-2

Einzelnachweise

  1. Ebbinghaus u. a., Kap. III, §1
  2. Rautenberg, Kap. I.1