sentential function

an expression that contains one or more variables and becomes meaningful when suitable constant terms are substituted for them.