Term (formale Logik)
Term [französisch terme, eigentlich »Grenze«, »Begrenzung«, von (m)lateinisch terminus, vergleiche Termin] der, -s/-e, formale Logik und Mathematik:
eine Zeichenfolge in einer formalisierten Theorie, die ein Objekt dieser Theorie repräsentiert. Die Grund- oder Primterme sind bestimmte Konstanten und Variablen; aus ihnen werden mittels induktiver Definition Zeichenfolgen gebildet, die Variablen enthalten können und – im Unterschied zu den Aussageformen darstellenden Formeln – in eine Konstante übergehen, sofern ihre
Informationen zum Artikel
Quellenangabe