From HomoExcelsior

1. An expression having the form of a proposition but containing undefined symbols for the substantive elements and becoming a proposition when appropriate values are assigned to the symbols.

---