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
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.