Deutschsprachige Wikipedia - Die fr...
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