open formula

An open formula is a formula that contains at least one free variable.

An open formula has no truth value assigned to it, in contrast to a closed formula which constitutes a proposition.
An open formula can be transformed into a closed formula by applying a logical quantifier for each free variable