Semantik der Prädikatenlogik

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

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



2014-07-06