aus AufEinWort, der freien Forschung
Dies ist eine alte Version dieser Seite, zuletzt bearbeitet am 6. Mai 2024 um 06:23 Uhr durch Nikolaos (Diskussion | Beiträge) . Sie kann sich erheblich von der aktuellen Version unterscheiden.
Ein Ausdruck[8] ist wie ein Term eine formale Zeichenkette; ihr Aufbau ist gemäß einer Logik definiert, z. B. der Prädikatenlogik.