In
propositional logic, a
propositional formula is a type of syntactic
formula which is
well formed and has a
truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional formula may also be called a
propositional expression, a
sentence, or a
sentential formula.