\begin{definition}[Definition:Hilbert Proof System/Instance 2]
<section notitle="true" name="tc">
This instance of a Hilbert proof system is used in:
* {{BookReference|Introduction to Symbolic Logic|1959|A.H. Basson|author2 = D.J. O'Connor|ed = 3rd|edpage = Third Edition}}
Let $\LL$ be the language of propositional logic.
$\HH$ has the following axioms and rules of inference:
\end{definition}