 |
Belegung (Logik)
| Deutschsprachige Wikipedia - Die freie Enzyklopädie | Download this dictionary |
Belegung (Logik)
Im Rahmen der Interpretation formaler Systeme ist eine Belegung
- in der Aussagenlogik eine Abbildung, die jeder Aussagenvariablen 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.
| Mehr unter Wikipedia.org... |
© Dieser Eintrag beinhaltet Material aus Wikipedia® und ist lizensiert auf GNU-Lizenz für freie Dokumentation und Creative Commons Attribution-ShareAlike License
