Dieser Hinweis ist aus der Übung im WS 1994/95 oder aus einer noch älteren Übung oder war nie Teil einer Übung und ist daher möglicherweise für spätere Übungen nicht gültig!
Atome und Namen können nicht direkt einen Bindestrich enthalten (siehe Skriptum Seite 3) a-b ist kein Atom a_b ist ein Atom Wenn Sie unbedingt einen Bindestrich schreiben wollen, dann schreiben Sie: 'a-b' Dasselbe gilt auch für andere Zeichen wie /. Zurück zum ^^Hauptverzeichnis Wenn Sie's genau wissen wollen: Der Bindestrich ist ein Operator. Der Term a-b entspricht dem Term -(a,b). Also einer Struktur mit Namen '-' und der Stelligkeit zwei.