spezielle (endliche) Zeichenreihe, die aus Grundzeichen eines logischen Kalküls nach bestimmten Regeln gebildet ist (siehe auch Aussagenkalkül, elementare Sprache, Prädikatenkalkül).
Copyright Springer Verlag GmbH Deutschland 2017
Schreiben Sie uns!
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.
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.