Definition
Formula Set (Propositional Logic)
Let
be a set of propositional variables and the set of all propositional formulas built from them. A formula set is any subset Its elements are formulas of the same propositional language. The set may be empty, finite or infinite; order and repetitions do not matter.