\begin{definition}[Definition:Consistent (Logic)/Set of Formulas/Propositional Logic]
Let $\LL_0$ be the language of propositional logic.
Let $\mathscr P$ be a proof system for $\LL_0$.
Let $\FF$ be a collection of logical formulas.
\end{definition}