Semantik der Prädikatenlogik

die Modell-Relation (S, b) $ \models$ F mathend000#

Erfüllbarkeit, Allgemeingültigkeit (Def, Bsp)


2014-03-31