Deutschsprachige Wikipedia - Die fr...
Download this dictionary
Erfüllbarkeit
Erfüllbarkeit
ist in der
Logik
und
Mathematik
ein metasprachliches
Prädikat
für die
Eigenschaft
von logischen
Aussagen
und
Aussageformen
. Eine Aussage ist erfüllbar, wenn es eine
Belegung
(Interpretation,
Bewertung
) der
Variablen
gibt, für die der
Wahrheitswert
des gesamten Ausdrucks
wahr
ist.
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