Definition
Proof (Propositional Hilbert Calculus)
A proof in the Hilbert calculus is a finite sequence
of formulas, , where each is either:
- an instance of
; or - obtained by modus ponens from earlier entries:
A formula
is provable, written , iff such a proof ends with .