Anhang

Zur Abkürzung und Verdeutlichung sind mathematisch-logische Symbole für die folgenden Betrachtungen sehr nützlich. Die am häufigsten auftretenden mathematischen Beschreibungen sind sogenannte Relationen, die die Zugehörigkeit eines Ausdrucks zu einer geeigneten Produktmenge beinhalten. Die Feststellung der Gültigkeit einer Relation, z. B. die Elementbeziehung „a ε M“, ist eine spezielle Aussage, die entweder wahr oder falsch sein kann. Aussagen kann man mittels logischer Operationen miteinander verknüpfen, dabei entstehen weitere Aussagen.