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.