Derivable Formula (Propositional Hilbert Calculus)

Definition

Derivable Formula (Propositional Hilbert Calculus)

A formula is derivable from a theory in the Hilbert calculus iff there exists a derivation from with . Notation:

For , write .