noun Logic. an expression that contains one or more variables and becomes meaningful when suitable constant terms are substituted for them. nounanother name for open sentence