Formel

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein endlicher syntaktischer Ausdruck in einer formalen Sprache, aufgebaut aus Symbolen, logischen Junktoren, Quantoren, Prädikat‑ oder Funktionssymbolen, Variablen und Klammern gemäß den Bildungsgesetzen dieser Sprache.