Aussagenlogik (Eigenschaften)

Eine Formel F heißt

Die Modellmenge von F ist Mod(F) = {b | b $ \models$ F}.

F erfüllbar $ \iff$ Mod(F)≠∅



Johannes Waldmann 2012-02-01