A *theorem* is a statement that one formula logically follows from a set of other formulas.
For example the propositional formula `ψ`

logically follows from
the formulas `φ`

and `φ⇒ψ`

.

Chang, C-L, Lee, R C-T. *Symbolic Logic and Mechanical Theorem Proving.* Academic Press, 1973.

Copyright © 2016 Barry Watson. All rights reserved.