Aussageform, Mathematik, ungebundene Variable?

Der Ausdruck Aussageform hat in der Logik zwei Bedeutungen, denen gemeinsam ist, dass es sich um Ausdrücke handelt, deren Wahrheit oder Falschheit noch offen ist:

• Aussageform i. S. d. Mathematik und Prädikatenlogik: Ein Ausdruck, in dem mindestens ein Prädikat eine ungebundene Variable als Argument hat.

https://de.m.wikipedia.org/wiki/Aussageform

Was meint Wikipedia mit "ungebundene" ?

Answer 1

[DerRoll]

Du beschäftigst dich mit Logik, aber kannst kein Google bedienen? Bitteschön

https://www.biancahoegel.de/mathe/var/variable_frei_gebunden.html

Woher ich das weiß: Studium / Ausbildung – Dipl.Math.

Answer 2

[Ellejolka]

schon geguckt?

https://www.youtube.com/watch?v=6kD5rnIlzQo