...logic.

Deduction Theorem: Suppose adding as axioms to propositional logic, with the variables of the considered to be constants, allows q to be proved. Then is a theorem.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.