Eine Variable kann an mehreren Stellen einer Formel auftreten. Z.B. treten in der Formel
∀ x1 ∀ x2 ∀ x3 ( kon ( x1, x2, x3, x3 ) ↔ x1 = x2 )
alle drei Variablen zwei Mal auf.
a) Lassen Sie im Beispielsatz die Quantoren weg und ersetzen Sie die Variablen x1, x2, x3 durch Namen für Punkte, die Sie in einem Koordinatensystem eingezeichnet haben.
b) Finden Sie aus Ihrem Wissensbestand zwei Beispiele, bei denen in einem Satz eine Variable mehr als einmal auftritt.