Category:Deduction Theorem

This category contains pages concerning Deduction Theorem:

Let $\mathscr H$ be instance 1 of a Hilbert proof system.

Then the deduction rule:

$\dfrac{U,\mathbf A \vdash \mathbf B}{U \vdash \mathbf A \implies \mathbf B}$

is a derived rule for $\mathscr H$.