Direkt zum Inhalt

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.

Lesermeinung

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.

  • Die Autoren
- Prof. Dr. Guido Walz

Partnervideos