Lexikon der Mathematik: allgemeingültiger Ausdruck
Ausdruck des Aussagen- bzw. Prädikatenkalküls, der bei jeder Belegung der Aussagenvariablen mit Wahrheitswerten bzw. bei jeder Interpretation der zugrundegelegten prädikatenlogischen Sprache (elementare Sprache) stets wahr ist.
Copyright Springer Verlag GmbH Deutschland 2017
Schreiben Sie uns!