Sentential Formula
An expression which is a sentence or which contains variables and becomes a sentence upon appropriate substitutions for these variables. Sentential formulas are also known as propositional formulas or, for short, simply "formulas."