Quelltext der Seite Belegung (Logik)

Im Rahmen der [[Interpretation (Logik)|Interpretation]] formaler Systeme ist eine '''Belegung'''
* in der [[Aussagenlogik]] eine Abbildung, die jeder [[Aussagenvariable]]n einen [[Wahrheitswert]] w bzw. f zuordnet;
* in der [[Prädikatenlogik]] (bei vorgegebener Struktur S) eine Abbildung, die jeder freien Variablen aus S ein Element des Universums A zuordnet.<ref>Ebbinghaus u.&nbsp;a., Kap. III, §1</ref>

== Aussagenlogik ==
In der Aussagenlogik ist eine Belegung definiert als eine Abbildung der Menge der Aussagevariablen <math>\textbf{AV}</math> auf die Menge <math>\{0,1\}</math>. Es wird also jeder Aussagevariable <math>p\in\textbf{AV}</math> ein Wahrheitswert zugeordnet.<ref>Rautenberg, Kap. I.1</ref>

:<math>
\omega \colon \textbf{AV} \to \{0,1\}
</math>

Die Anwendung dieser Abbildung auf ganze Formeln ist durch die rekursive Definition von <math>\omega</math> auf der ganzen Formelmenge der booleschen Formeln <math>\mathcal{F}</math> möglich.

:<math>
\omega \colon \mathcal{F} \to \{0,1\}
</math>

mit

:<math>
\omega( \alpha \land \beta ) = \omega\alpha \land \omega\beta
</math>

:<math>
\omega( \alpha \lor \beta ) = \omega\alpha \lor \omega\beta
</math>

:<math>
\omega\neg\alpha = \neg\omega\alpha
</math>

Diese Definition ist hier Beispielhaft für die logische Signatur <math>\{\land ,\lor ,\neg\}</math> aufgeführt. Wenn die Signatur noch andere Junktoren enthält, so muss die Definition erweitert werden.

Damit ist gewährleistet, dass <math>\omega</math> eine ganze Formel <math>\alpha\in\mathcal{F}</math> 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 <math>\alpha</math> wird meistens mit Hilfe einer Wertetabelle dargestellt.

{| class="wikitable"
|-
!                     !! <math>p_1</math>    !! <math>p_2</math>    !! <math>\dots</math>  !! <math>p_n</math>    !! <math>\alpha</math>
|-  
| 1                   || 0                   || 0                   || <math>\dots</math>  || 0                   || <math>\omega_1\alpha</math>
|- 
| 2                   || 0                   || 0                   || <math>\dots</math>  || 1                   || <math>\omega_2\alpha</math>
|-
| <math>\vdots</math> || <math>\vdots</math> || <math>\vdots</math> || <math>\vdots</math> || <math>\vdots</math> || <math>\vdots</math> 
|-
| n                   || 1                   || 1                   || <math>\dots</math> || 1                   || <math>\omega_n\alpha</math>
|}

<math>\omega_k</math>(<math>1\leq k\leq n</math>) bezieht sich dabei auf die entsprechende Zeile, die die Belegung der einzelnen, in <math>\alpha</math> 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 <math>v_n, n\in \N</math>. Eine Belegung wird z.&nbsp;B. durch die Funktion <math>\beta(v_n)=2n</math> für <math>n\ge 0</math> 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 ==
<references />
[[Kategorie:Logik]]