Variable (Logik)

Eine Variable ist in der formalen Logik ein „sprachliches Zeichen, für das beliebige Ausdrücke einer bestimmten Art eingesetzt werden können“. Im Gegensatz zu logischen Konstanten haben Variablen „keine selbständige Bedeutung“ und sind „bedeutungsleere Zeichen, die nur dazu dienen, die Stellen anzuzeigen, an denen die bedeutungsvollen Konstanten ... einzusetzen sind.“