propositional 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."

closed sentential formula | open sentential formula | propositional calculus | sentence | sentential variable