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.“