Definition:Consistent (Logic)/Proof System/Propositional Logic

Definition
Let $\LL_0$ be the language of propositional logic.

Let $\mathscr P$ be a proof system for $\LL_0$.

Also see

 * Equivalence of Definitions of Consistent Proof System