3˙313
Der Ausdruck wird also durch eine Variable dargestellt, deren Werte die Sätze sind, die den Ausdruck enthalten.
(Im Grenzfall geht wird die Variable zur Constanten der Ausdruck zum Satz.)
Ich nenne eine solche Variable „Satzvariable”.